1414 search results - page 6 / 283 » Combining Intruder Theories |
DASC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
IJUFKS
2008
13 years 9 months ago
2008
LOPSTR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...