609 search results - page 98 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Body Area Networks (BAN) is a key enabling technology in E-healthcare such as remote health monitoring. An important security issue during bootstrap phase of the BAN is to securely...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
ATVA
2004
Springer
14 years 2 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
CRYPTO
2003
Springer
14 years 2 months ago
2003
Springer
Simple password authentication is often used e.g. from an email software application to a remote IMAP server. This is frequently done in a protected peer-to-peer tunnel, e.g. by SS...
GD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...