2162 search results - page 109 / 433 » A Meta-Notation for Protocol Analysis |
149
click to vote
ICC
2008
IEEE
16 years 14 hour 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...
172
click to vote
AICCSA
2008
IEEE
16 years 1 days 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...
160
Voted
LCN
2007
IEEE
15 years 11 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...
138
click to vote
FMICS
2007
Springer
15 years 11 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 ...
142
click to vote
SP
2006
IEEE
15 years 11 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...