Sciweavers

1117 search results - page 114 / 224
» A Compliance Model of Trust
Sort
View
CSFW
2004
IEEE
15 years 5 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
ENTCS
2010
130views more  ENTCS 2010»
15 years 2 months ago
Compositional System Security with Interface-Confined Adversaries
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, ...
EKAW
2010
Springer
15 years 16 days ago
Representing, Proving and Sharing Trustworthiness of Web Resources Using Veracity
The World Wide Web has evolved into a distributed network of web applications facilitating the publication of information on a large scale. Judging whether such information can be ...
Grégoire Burel, Amparo Elizabeth Cano, Matt...
ATAL
2009
Springer
15 years 8 months ago
Pragmatic-strategic reputation-based decisions in BDI agents
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
Isaac Pinyol, Jordi Sabater-Mir
IJRR
2008
103views more  IJRR 2008»
15 years 1 months ago
Stable Running with Segmented Legs
In human and animal running spring-like leg behavior is found. In a spring-mass model, running proves to be self-stable in terms of external perturbations or variations in leg pro...
Juergen Rummel, André Seyfarth