Sciweavers

3899 search results - page 360 / 780
» Argumentation for Access Control
Sort
View
CCS
2004
ACM
16 years 6 days ago
MAC and UML for secure software design
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
Thuong Doan, Steven A. Demurjian, T. C. Ting, Andr...
SSS
2009
Springer
118views Control Systems» more  SSS 2009»
15 years 11 months ago
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model
We present a simple algorithm that implements the Omega failure detector in the crash-recovery model. The algorithm is quiescent, i.e., eventually all the processes but the leader ...
Cristian Martín, Mikel Larrea
ECOOPW
1999
Springer
15 years 11 months ago
Flexible Aliasing with Protection
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expres...
Günter Kniesel, Dirk Theisen
FC
2010
Springer
181views Cryptology» more  FC 2010»
15 years 10 months ago
Design and Implementation of a Key-Lifecycle Management System
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
Mathias Björkqvist, Christian Cachin, Robert ...
CSFW
2004
IEEE
15 years 10 months ago
Cassandra: Flexible Trust Management, Applied to Electronic Health Records
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
Moritz Y. Becker, Peter Sewell