4305 search results - page 646 / 861 » Analysing Protocol Implementations |
144
click to vote
ENTCS
2008
15 years 4 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
135
click to vote
CEE
2006
15 years 4 months ago
2006
The need for reliable data communication performed in critical conditions and the respect of real-time constraints is an open issue in radio-military networks, where fixed and nom...
106
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
180
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...
153
click to vote
TCS
2008
15 years 4 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...