718 search results - page 15 / 144 » Operational Semantics of Security Protocols |
SRDS
2000
IEEE
14 years 5 days ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
ESORICS
1994
Springer
13 years 12 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
IWSEC
2007
Springer
14 years 1 months ago
2007
Springer
At Indocrypt 2005, Viet et al., [22] have proposed an anonymous password-authenticated key exchange (PAKE) protocol and its threshold construction both of which are designed for cl...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper proposes and specifies a protocol for distributing and managing group keys in ad hoc environments, which applies for the Secure Optimized Link State Routing Protocol. Ou...