2979 search results - page 251 / 596 » Modelling secure multiagent systems |
173
Voted
TMC
2011
14 years 12 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
140
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Role Engineering is a security-critical task for systems using role-based access control (RBAC). Different role-mining approaches have been proposed that attempt to automatically ...
154
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
207
Voted
EATIS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
131
Voted
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...