1171 search results - page 5 / 235 » A Logical Language for Expressing Authorizations |
112
Voted
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
82
Voted
TIME
2006
IEEE
15 years 5 months ago
2006
IEEE
TSD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Embodied Conversational Agent (ECA) is the user interface metaphor that allows to naturally communicate information during human-computer interaction in synergic modality...
116
Voted
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...