10 search results - page 2 / 2 » The AVISPA Tool for the Automated Validation of Internet Sec... |
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
KDD
2009
ACM
13 years 11 months ago
2009
ACM
The Border Gateway Protocol (BGP) is one of the fundamental computer communication protocols. Monitoring and mining BGP update messages can directly reveal the health and stabilit...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
CCS
2009
ACM
13 years 9 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
CSREASAM
2008
13 years 6 months ago
2008
: Children's privacy has become critical with the increasing use of the Internet for commercial purposes and corresponding increase in requests for information. 65% of childre...