165 search results - page 17 / 33 » Safely Composing Security Protocols |
80
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
70
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ASIACRYPT
2008
Springer
14 years 11 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
100
click to vote
IACR
2011
13 years 9 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
CMS
2003
14 years 11 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...