718 search results - page 74 / 144 » Security protocols, properties, and their monitoring |
160
click to vote
KDD
2009
ACM
16 years 28 days ago
2009
ACM
The Border Gateway Protocol (BGP) is one of the fundamental computer communication protocols. Monitoring and mining BGP update messages can directly reveal the health and stabilit...
181
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
158
click to vote
CTRSA
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...
170
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
165
Voted
ENTCS
2006
15 years 6 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...