529 search results - page 61 / 106 » Model checking detectability of attacks in multiagent system... |
112
click to vote
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
113
click to vote
USS
2008
15 years 3 months ago
2008
There are several remaining open questions in the area of flow-based anomaly detection, e.g., how to do meaningful evaluations of anomaly detection mechanisms; how to get conclusi...
101
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
119
click to vote
TVLSI
1998
15 years 1 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
121
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...