62 search results - page 6 / 13 » Security Protocols: Principles and Calculi |
IJSN
2006
13 years 7 months ago
2006
: We provide a message board model for collaborative systems, and propose an architecture and protocol for securing collaborative applications over message boards. The proposed arc...
FCS
2006
13 years 8 months ago
2006
The application of the principles of quantum mechanics to cryptography has led to a respectable new dimension in confidential communication. As a result of these developments, it i...
TISSEC
2002
13 years 7 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...
IJNSEC
2007
13 years 7 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...