Sciweavers

38 search results - page 1 / 8
» Accountability: definition and relationship to verifiability
Sort
View
CCS
2010
ACM
13 years 11 months ago
Accountability: definition and relationship to verifiability
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
Ralf Küsters, Tomasz Truderung, Andreas Vogt
SIGOPSE
2004
ACM
14 years 4 months ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
ER
2008
Springer
106views Database» more  ER 2008»
14 years 19 days ago
Towards a Compositional Semantic Account of Data Quality Attributes
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
Lei Jiang, Alexander Borgida, John Mylopoulos
ICWE
2007
Springer
14 years 5 months ago
On the Quality of Navigation Models with Content-Modification Operations
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
Jordi Cabot, Jordi Ceballos, Cristina Gómez
POPL
2005
ACM
14 years 11 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...