1154 search results - page 79 / 231 » Making Self-organizing Systems Secure |
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
120
click to vote
FC
2005
Springer
15 years 7 months ago
2005
Springer
We demonstrate how to make voting protocols resistant against manipulation by computationally bounded malicious voters, by extending the previous results of Conitzer and Sandholm i...
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
JNCA
2006
15 years 1 months ago
2006
Traditional database security mechanisms are very limited in defending against data attacks. Authorized but malicious transactions can make a database useless by impairing its int...
AGENTS
1998
Springer
15 years 5 months ago
1998
Springer
While the theoretical and experimental foundations of agent-based systems are becoming increasingly well understood, comparatively little effort has been devoted to understanding ...