690 search results - page 79 / 138 » Logical Agents for Language and Action |
POPL
1998
ACM
14 years 9 days ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
JCS
2006
13 years 8 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
CLIMA
2007
13 years 9 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...