461 search results - page 29 / 93 » Developing security protocols by refinement |
COLCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
ASIACRYPT
2001
Springer
14 years 9 days ago
2001
Springer
Threshold cryptosystems and signature schemes give ways to distribute trust throughout a group and increase the availability of cryptographic systems. A standard approach in design...
CSFW
2000
IEEE
13 years 11 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
IPL
2006
13 years 7 months ago
2006
The Secure Electronic Transaction (SET) protocol has been developed by the major credit card companies in association with some of the top software corporations to secure e-commer...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...