529 search results - page 4 / 106 » Model checking detectability of attacks in multiagent system... |
ERSHOV
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
IJAIT
2006
13 years 5 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
DALT
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
PROMAS
2007
Springer
13 years 11 months ago
2007
Springer
ATAL
2003
Springer
13 years 10 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...