1599 search results - page 47 / 320 » Program Analysis for Security and Privacy |
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Since 9/11, intelligence agencies in the United States have expanded experimentation and use of data mining and analysis techniques to combat terrorism. These efforts have generat...
149
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
121
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...