529 search results - page 76 / 106 » Model checking detectability of attacks in multiagent system... |
127
Voted
ACSAC
2010
IEEE
15 years 21 days ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
151
Voted
FORTE
2008
15 years 4 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
148
Voted
TDSC
2011
14 years 9 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
124
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
126
Voted
BELL
2000
15 years 2 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...