Sciweavers

8644 search results - page 116 / 1729
» On the Composition of Secure Systems
Sort
View
LCTRTS
2004
Springer
15 years 12 months ago
Compositional static instruction cache simulation
Kaustubh Patil, Kiran Seth, Frank Mueller
ACSAC
1999
IEEE
15 years 10 months ago
Security Policy Coordination for Heterogeneous Information Systems
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
John Hale, Pablo Galiasso, Mauricio Papa, Sujeet S...
CORR
2007
Springer
150views Education» more  CORR 2007»
15 years 6 months ago
Composable Security in the Bounded-Quantum-Storage Model
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
Stephanie Wehner, Jürg Wullschleger
TCC
2005
Springer
88views Cryptology» more  TCC 2005»
15 years 12 months ago
Relaxing Environmental Security: Monitored Functionalities and Client-Server Computation
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
Manoj Prabhakaran, Amit Sahai