364 search results - page 37 / 73 » E-Voting System Security Optimization |
CADE
1998
Springer
14 years 22 days ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
VLDB
2004
ACM
2004
ACM
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
14 years 1 months ago
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
MM
1994
ACM
14 years 17 days ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
CGO
2007
IEEE
14 years 2 months ago
2007
IEEE
Software Dynamic Translation (SDT) systems are used for program instrumentation, dynamic optimization, security, intrusion detection, and many other uses. As noted by many researc...
NIPS
2004
13 years 10 months ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...