378 search results - page 29 / 76 » Security Protocol Design via Authentication Tests |
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
NDSS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
WISEC
2009
ACM
14 years 2 months ago
2009
ACM
The current 802.11i standard can provide data confidentiality, integrity and mutual authentication in enterprise Wireless Local Area Networks (WLANs). However, secure communicati...
CN
2007
13 years 7 months ago
2007
Wide-area service replication is becoming increasingly common, with the emergence of new operational models such as content delivery networks and computational grids. This paper d...