375 search results - page 31 / 75 » What is Correctness of Security Protocols |
ISW
2001
Springer
14 years 3 days ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
COLCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Distributed sensor network protocols, such as routing, time synchronization or data aggregation protocols make use of collaborative techniques to minimize the consumption of sc...
DISCEX
2003
IEEE
14 years 29 days ago
2003
IEEE
The Domain Name System is critical for the proper operation of applications on the Internet. Unfortunately, the DNS has a number of significant security weaknesses that can result...