3868 search results - page 236 / 774 » Open Systems in TLA |
195
click to vote
CORR
2008
Springer
15 years 7 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 ...
171
click to vote
JAIR
2006
15 years 7 months ago
2006
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...
162
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...
205
click to vote
SIGOPSE
2004
ACM
16 years 20 days ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
182
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...