718 search results - page 26 / 144 » Security protocols, properties, and their monitoring |
176
Voted
PET
2012
Springer
13 years 4 months ago
2012
Springer
We consider applications scenarios where an untrusted aggregator wishes to continually monitor the heavy-hitters across a set of distributed streams. Since each stream can contain ...
100
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
183
Voted
CTRSA
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
139
Voted
IJACT
2008
15 years 1 months ago
2008
: Fair exchange protocols allow both or neither of two parties to obtain the other's items, and this property is essential in e-commerce. In this paper, we construct an optimi...
115
click to vote
IJSN
2007
15 years 1 months ago
2007
: McCullagh and Barreto presented an identity-based authenticated key agreement protocol in CT-RSA 2005. Their protocol was found to be vulnerable to a key-compromise impersonation...