159 search results - page 21 / 32 » A Derivation System for Security Protocols and its Logical F... |
WISTP
2010
Springer
14 years 2 months ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
WOA
2004
13 years 8 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
ENTCS
2007
13 years 7 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...