2043 search results - page 88 / 409 » Reasoning About Security Models |
ECSQARU
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
IVA
2010
Springer
13 years 8 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
CCS
2011
ACM
12 years 10 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...