4511 search results - page 80 / 903 » Observation Based System Security |
138
click to vote
VOTEID
2007
Springer
16 years 11 days 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...
134
click to vote
IEEEARES
2006
IEEE
16 years 8 days ago
2006
IEEE
Java and the Java Virtual Machine (JVM) are a predominant programming language and deployment platform for complex, component-oriented systems. In current standard Java runtime sy...
152
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
146
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...
206
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...