2979 search results - page 369 / 596 » Modelling secure multiagent systems |
153
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
133
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A Virtual Organisation (VO) is a temporary alliance of autonomous, diverse, and geographically dispersed organisations, where the participants pool resources, information...
151
click to vote
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
148
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
139
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
In creating an evacuation simulation for training and planning, realistic agents that reproduce known phenomenon are required. Evacuation simulation in the airport domain requires...