14824 search results - page 432 / 2965 » Security - Introduction |
228
click to vote
CSFW
2004
IEEE
15 years 11 months 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 ...
186
click to vote
CARDIS
2006
Springer
15 years 11 months 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...
204
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We introduce a simple primitive called Augmented Broadcast Encryption (ABE) that is sufficient for constructing broadcast encryption, traitor-tracing, and trace-and-revoke systems...
192
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
213
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...