2979 search results - page 271 / 596 » Modelling secure multiagent systems |
126
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
161
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
124
click to vote
DAI
1995
Springer
15 years 8 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
148
click to vote
SELMAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
142
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...