286 search results - page 19 / 58 » Authentication in the Taos Operating System |
SOUPS
2009
ACM
14 years 4 months ago
2009
ACM
Authentication systems for public terminals – and thus public spaces – have to be fast, easy and secure. Security is of utmost importance since the public setting allows manif...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
NBIS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract—The operation of achieving authenticated key agreement between two human-operated mobile devices over a short range wireless communication channel, such as Bluetooth or ...
IJFCS
2007
13 years 10 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
ISTA
2001
13 years 11 months ago
2001
: The simulation of technological process in the oil pipelines system is considered in the paper. The solution of the task meets a number of difficulties originating during control...