23 search results - page 3 / 5 » Engineering trust with semantic guardians |
TGC
2005
Springer
13 years 11 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
CSFW
2004
IEEE
13 years 10 months ago
2004
IEEE
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...
SEMWEB
2004
Springer
13 years 11 months ago
2004
Springer
The emergent Semantic Web, despite being in its infancy, has already received a lot of attention from academia and industry. This resulted in an abundance of prototype systems and ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
VMCAI
2004
Springer
13 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...