2979 search results - page 282 / 596 » Modelling secure multiagent systems |
165
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
152
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
188
click to vote
ESSOS
2009
Springer
16 years 1 months ago
2009
Springer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
175
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
196
click to vote
FORTE
2008
15 years 8 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...