2043 search results - page 104 / 409 » Reasoning About Security Models |
113
click to vote
ENTCS
2006
15 years 20 days ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
93
Voted
ASIACRYPT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider scenarios in which two parties, each in possession of a graph, wish to compute some algorithm on their joint graph in a privacy-preserving manner, that is, wi...
79
Voted
IJCAI
2001
15 years 2 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...