1353 search results - page 121 / 271 » Securing Current and Future Process Control Systems |
191
click to vote
NTMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—IPSec is a protocol that allows to make secure connections between branch offices and allows secure VPN accesses. However, the efforts to improve IPSec are still under way; one ...
157
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...
178
click to vote
SSS
2007
Springer
16 years 14 days ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
213
click to vote
CADE
1998
Springer
15 years 10 months 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 ...
153
click to vote
RTAS
1996
IEEE
15 years 10 months ago
1996
IEEE
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...