4511 search results - page 640 / 903 » Observation Based System Security |
120
Voted
FC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
198
click to vote
MAS
1998
Springer
15 years 8 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
112
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
We report on an experiment to implement an autonomous creature situated in a two-dimensional world, that shows various learning and problem-solving capabilities, within the Societ...
127
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
150
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...