ACISP
2007
Springer
13 years 11 months ago
2007
Springer
We study the multicast stream authentication problem when the communication channel is under control of an opponent who can drop, reorder and inject data packets. In this work, we...
ACISP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We establish a framework for bounding the efficiency of cryptographic reductions in terms of their security transfer. While efficiency bounds for the reductions have been...
CCS
2010
ACM
13 years 11 months ago
2010
ACM
Data outsourcing is an emerging paradigm that allows users and companies to give their (potentially sensitive) data to external servers that then become responsible for their stor...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
This paper examines some questions concerning commercial computer security integrity policies. We give an example of a dynamic separation of duty policy which cannot be implemente...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
