4731 search results - page 255 / 947 » Securing Interactive Programs |
209
Voted
JCS
2008
15 years 6 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
173
click to vote
EUROMICRO
2005
IEEE
16 years 15 hour 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...
141
Voted
ICALP
2005
Springer
15 years 12 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 ...
176
click to vote
ACMICEC
2007
ACM
15 years 10 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...
171
click to vote
B
2007
Springer
15 years 10 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...