2257 search results - page 180 / 452 » Secure program partitioning |
121
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
87
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
At TCC 2005, Backes and Cachin proposed a new and very strong notion of security for public key steganography: secrecy against adaptive chosen covertext attack (SS-CCA); and posed ...
96
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
116
Voted
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
86
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Many institutions are currently investigating the feasibility of creating Computer Security Laboratory environments for their researchers and students. This paper compares four of...