529 search results - page 36 / 106 » Model checking detectability of attacks in multiagent system... |
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
AWIC
2003
Springer
14 years 29 days ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
We carry out attacks using Internet services that aim to keep telephone devices busy, hindering legitimate callers from gaining access. We use the term DIAL (Digitally Initiated A...
FMSD
2006
13 years 7 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...