329 search results - page 29 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
ADHOCNOW
2009
Springer
13 years 9 months ago
2009
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard a de facto specification for inexpensive tags in the RFID industry. Recently three EPCGen2 complian...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
DSOM
2005
Springer
14 years 1 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
WIMOB
2007
IEEE
14 years 2 months ago
2007
IEEE
As part of the IEEE 802.16 protocol, the random access scheme is used for ranging. The ratio between the numbers of periodic ranging slots and data slots in the uplink subframe de...