2979 search results - page 153 / 596 » Modelling secure multiagent systems |
152
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
166
click to vote
IEEEARES
2006
IEEE
16 years 13 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
173
click to vote
PST
2008
15 years 7 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
174
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
173
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an agent-based artificial market system whose underlying interaction protocols provide advanced features. Using the system, actors (i.e., customers and mercha...