741 search results - page 108 / 149 » Verification of security protocols using LOTOS-method and ap... |
132
click to vote
WPES
2004
ACM
15 years 9 months ago
2004
ACM
The number of location-aware mobile devices has been rising for several years. As this trend continues, these devices may be able to use their location information to provide inte...
121
Voted
NETWORK
2008
15 years 3 months ago
2008
Because of the constant reduction of available public network addresses and the necessity to secure networks, devices like Network Address Translators and firewalls have become qui...
130
click to vote
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...
167
click to vote
ACISP
2004
Springer
15 years 9 months ago
2004
Springer
The XTR public key system was introduced at Crypto 2000. Application of XTR in cryptographic protocols leads to substantial savings both in communication and computational overhead...
194
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...