1490 search results - page 201 / 298 » The Logic of Authentication Protocols |
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
ISW
1997
Springer
14 years 15 days ago
1997
Springer
Signcryption is a new paradigm in public key cryptography that simultaneously fulfills both the functions of digital signature and public key encryption in a logically single step,...
IADIS
2004
13 years 10 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
JCS
2007
13 years 8 months ago
2007
Distributed authorization takes into account several elements, including certificates that may be provided by non-local actors. While most trust management systems treat all asse...
INFORMATICALT
2010
13 years 7 months ago
2010
One of the major activities in software design is defining software architecture. Before designing software structure and software behavior we have to define its architecture. In...