137 search results - page 9 / 28 » Automated Reasoning for Security Protocol Analysis |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
End-to-end reliability of communications is an important requirement in many applications of wireless sensor networks. For this reason, a number of reliable transport protocols sp...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
ICICS
2010
Springer
13 years 6 months ago
2010
Springer
Due to the rapid growth of e-commerce technology, secure auction protocols have attracted much attention among researchers. The main reason for constructing sealed-bid auction prot...
JOC
2011
13 years 3 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...