1490 search results - page 261 / 298 » The Logic of Authentication Protocols |
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
IDMS
1999
Springer
14 years 1 months ago
1999
Springer
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
MM
1998
ACM
14 years 1 months ago
1998
ACM
The ability to trace multicast paths is currently available in the Internet by means of IGMP MTRACE packets. We introduce Tracer, the rst protocol that organizes the receivers of ...
TABLEAUX
1998
Springer
14 years 1 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
PADS
1997
ACM
14 years 29 days ago
1997
ACM
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may als...