VITC compiler aims to provide information security to legac y C applications, using type based information flow analysis. We have re- cently modified its typing discipline to flow sensitive, whil e those of the other realistic information secure compiler implementations for Java[5]and ML[8] are flow insensitive. This is because local states in C are toofrequently stored in global variables such as errno
http://repository.vnu.edu.vn/handle/VNU_123/14454
Đăng ký:
Đăng Nhận xét (Atom)
-
Huy Cận tên thật là Cù Huy Cận, sinh ngày 31-5-1919 tại xã Ân Phú, huyện Hương Sơn, tỉnh Hà Tĩnh (nay là huyện Ðức Thọ, tỉnh Hà Tĩnh).... -
In French, a composite verb is normally formed with one of the auxiliary verbs “AVOIR” and “ETRE”. Most of these verbs are with “AVOIR”, an...
-
A major problem of existing anomaly intrusion detection approaches is that they tend to produce excessive false alarms. One reason for this ...
Không có nhận xét nào:
Đăng nhận xét