2043 search results - page 5 / 409 » Reasoning About Security Models |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...