Sciweavers

5324 search results - page 69 / 1065
» Internet Security Protocols
Sort
View
CCS
2007
ACM
14 years 1 months ago
Selecting theories and nonce generation for recursive protocols
Klaas Ole Kürtz, Ralf Küsters, Thomas Wi...
CCS
2001
ACM
14 years 7 days ago
Inductive methods and contract-signing protocols
Rohit Chadha, Max I. Kanovich, Andre Scedrov
AGENTS
2000
Springer
14 years 2 days ago
A Multi-agent system architecture for monitoring medical protocols
Teresa Alsinet, Ramón Béjar, C&egrav...
ACISP
1999
Springer
14 years 14 hour ago
Accelerating Key Establishment Protocols for Mobile Communication
Seungwon Lee, Seong-Min Hong, Hyunsoo Yoon, Yookun...