378 search results - page 56 / 76 » Security Protocol Design via Authentication Tests |
FATES
2004
Springer
14 years 1 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
PET
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...
WMI
2001
13 years 9 months ago
2001
This paper presents a novel wireless access point architecture designed to support the development of next generation mobile context-aware applications over metropolitan scale are...
UIALL
2004
Springer
14 years 29 days ago
2004
Springer
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
ISI
2007
Springer
14 years 1 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...