5665 search results - page 252 / 1133 » Introduction to Computer Security |
SPC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
EUROPKI
2004
Springer
14 years 4 months ago
2004
Springer
The security-mediated approach to PKI offers several advantages, such as instant revocation and compatibility with standard RSA tools. In this paper, we present a design and protot...
ECOOP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
PERCOM
2007
ACM
14 years 10 months ago
2007
ACM
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...
CSR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In 1992, A. Hiltgen [1] provided the first constructions of provably (slightly) secure cryptographic primitives, namely feebly one-way functions. These functions are pro...