375 search results - page 11 / 75 » What is Correctness of Security Protocols |
ICDCS
1997
IEEE
13 years 11 months ago
1997
IEEE
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
COMCOM
2000
13 years 7 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...