718 search results - page 16 / 144 » Security protocols, properties, and their monitoring |
129
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
122
click to vote
CSFW
1998
IEEE
15 years 6 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
ACISP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A security proof in the Bellare
104
Voted
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...