2162 search results - page 59 / 433 » A Meta-Notation for Protocol Analysis |
ADAEUROPE
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
CSREASAM
2006
13 years 10 months ago
2006
Mobile Voice over IP (Mobile VoIP) allows mobile users to continuously talk with each others while roaming across different networks. In such wireless application, it is vulnerabl...
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
RTSS
1999
IEEE
14 years 1 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
EUC
2007
Springer
14 years 19 days ago
2007
Springer
Traditional cryptographic primitives are not supported on low-cost RFID tags since, at most, 4K gates can be devoted to securityrelated tasks. Despite this, there are a vast number...