2162 search results - page 152 / 433 » A Meta-Notation for Protocol Analysis |
JDCTA
2010
14 years 4 months ago
2010
This paper analyzes performance of MEGACO (Media Gateway Control Protocol) based on Diameter which is an Authentication, Authorization,andAccounting (AAA) protocol developed withi...
TCC
2007
Springer
15 years 4 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
ANSS
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
INFOCOM
2002
IEEE
15 years 3 months ago
2002
IEEE
— A novel framework is presented for the study of scalability in ad hoc networks. Using this framework, the first asymptotic analysis is provided with respect to network size, m...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— Traditionally, reliable multicast protocols are deterministic in nature. It is precisely this determinism that tends to become their limiting factor when aiming at reli...