2162 search results - page 109 / 433 » A Meta-Notation for Protocol Analysis |
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Ultra-wideband (UWB) technology is expected to provide high data rate services for future wireless personal area networks (WPANs). The WiMedia Alliance recently has launched it...
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is a standard for managing IP multimedia sessions in the Internet. Identity management in SIP is a crucial security field that deals with id...
LCN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...