5374 search results - page 2 / 1075 » The induction of communication protocols |
ICML
2010
IEEE
13 years 6 months ago
2010
IEEE
Multiagent Inductive Learning is the problem that groups of agents face when they want to perform inductive learning, but the data of interest is distributed among them. This pape...
TPHOL
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
CADE
2004
Springer
14 years 5 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...
CCS
2001
ACM
13 years 9 months ago
2001
ACM
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
