4511 search results - page 640 / 903 » Observation Based System Security |
150
click to vote
FC
1999
Springer
15 years 11 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...
229
click to vote
MAS
1998
Springer
15 years 10 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...
147
click to vote
AGENTS
1997
Springer
15 years 10 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...
166
click to vote
AGENTS
1997
Springer
15 years 10 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...
195
Voted
CCS
2009
ACM
15 years 10 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...