198 search results - page 15 / 40 » Describing Secure Interfaces with Interface Automata |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
ISMVL
2010
IEEE
14 years 4 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
OPODIS
2010
13 years 8 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
IEICET
2008
13 years 11 months ago
2008
We developed a content delivery system using a partially reconfigurable FPGA to securely distribute digital content on the Internet. With partial reconfigurability of a Xilinx Vir...
ESCIENCE
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or...