5665 search results - page 269 / 1133 » Introduction to Computer Security |
ECOOPW
1999
Springer
14 years 3 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
SEC
2003
14 years 4 days ago
2003
For the emerging ambient environments, in which interconnected intelligent devices will surround us to increase the comfort of our lives, fault tolerance and security are of paramo...
SMC
2010
IEEE
13 years 9 months ago
2010
IEEE
—While many cybersecurity tools are available to computer users, their default configurations often do not match needs of specific users. Since most modern users are not computer...
ISVC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Intrusion detection systems gather large quantities of host and network information in an attempt to detect and respond to attacks against an organization. The widely var...
FC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...