105 search results - page 14 / 21 » A General Composition Theorem for Secure Reactive Systems |
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
ASIACRYPT
2011
Springer
12 years 7 months ago
2011
Springer
The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests ...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...