1599 search results - page 141 / 320 » Program Analysis for Security and Privacy |
134
click to vote
CHIMIT
2007
ACM
15 years 8 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
153
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
127
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
125
click to vote
PET
2010
Springer
15 years 8 months ago
2010
Springer
We present Drac, a system designed to provide anonymity and unobservability for real-time instant messaging and voice-over-IP communications against a global passive adversary. The...
138
click to vote
ESORICS
2011
Springer
14 years 3 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...