1154 search results - page 46 / 231 » Making Self-organizing Systems Secure |
126
click to vote
CAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
133
click to vote
KDD
1998
ACM
15 years 5 months ago
1998
ACM
The task in the computer security domain of anomaly detection is to characterize the behaviors of a computer user (the `valid', or `normal' user) so that unusual occurre...
IEEEIAS
2009
IEEE
15 years 8 months ago
2009
IEEE
—There have been several studies on using computer technologies to improve elections and these studies lead to widespread adoption of “direct recording electronic” (DRE) voti...
VOTEID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
126
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
— In multi-hop wireless networks, the mobile nodes usually act as routers to relay packets generated from other nodes. However, selfish nodes do not cooperate but make use of the...