718 search results - page 49 / 144 » Security protocols, properties, and their monitoring |
126
click to vote
ISI
2007
Springer
15 years 1 months ago
2007
Springer
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
125
click to vote
WETICE
2005
IEEE
15 years 7 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
119
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
117
click to vote
SPAA
2010
ACM
15 years 6 months ago
2010
ACM
This paper studies non-cryptographic authenticated broadcast in radio networks subject to malicious failures. We introduce two protocols that address this problem. The first, Nei...