2358 search results - page 195 / 472 » A Secure Pervasive Environment |
EUROCRYPT
1998
Springer
14 years 1 months ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
CSFW
1992
IEEE
14 years 1 months ago
1992
IEEE
Mary Ellen Zurko Laboratory for Computer Science Massachusetts Institute of Technology and Digital Equipment Corporation Littleton, MA, 01460 This paper describes the User Attribu...
CSFW
2004
IEEE
14 years 29 days ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
CARDIS
2006
Springer
14 years 29 days ago
2006
Springer
Smartcards are being used as secure endpoints in computer transactions. Recently, the connectivity of smartcards has increased and future smartcards will be able to communicate ove...
ACSAC
2003
IEEE
14 years 27 days ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...