718 search results - page 19 / 144 » Operational Semantics of Security Protocols |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
WISTP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...