Sciweavers

382 search results - page 6 / 77
» A Formalization of Trust Alignment
Sort
View
FOIS
2006
13 years 9 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
FMCO
2006
Springer
13 years 11 months ago
Towards a Formal Framework for Computational Trust
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
Vladimiro Sassone, Karl Krukow, Mogens Nielsen
ITRUST
2004
Springer
14 years 29 days ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
CCS
2004
ACM
14 years 1 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
ICECCS
2007
IEEE
110views Hardware» more  ICECCS 2007»
14 years 1 months ago
Formally Counting Electronic Votes (But Still Only Trusting Paper)
In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government...
Joseph Kiniry