718 search results - page 3 / 144 » Operational Semantics of Security Protocols |
133
Voted
CMS
2003
15 years 3 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...
110
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
122
Voted
NTMS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
100
click to vote
IEEEIAS
2007
IEEE
15 years 8 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
122
Voted
CAINE
2003
15 years 3 months ago
2003
Most security protocols share a similar set of algorithms and functions and exhibit common sequences and patterns in the way they operate. These observations led us to propose a u...