2162 search results - page 163 / 433 » A Meta-Notation for Protocol Analysis |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
SFM
2004
Springer
14 years 3 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
RTAS
1998
IEEE
14 years 2 months ago
1998
IEEE
RSVP is a bandwidth reservation protocol that allows distributed real-time applications such as video-conferencing software to make bandwidth reservations over packetswitched netw...
LCN
1994
IEEE
14 years 2 months ago
1994
IEEE
We analyze the behavior of the Ethernet in networks with a small number of active stations, and describe what is known as the Ethernet capture effect, where a station transmits co...
IMC
2007
ACM
13 years 11 months ago
2007
ACM
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...