3081 search results - page 53 / 617 » A Formal Ontology of Properties |
JCS
2006
14 years 12 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
105
click to vote
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
110
click to vote
ISOLA
2007
Springer
15 years 6 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
Ontology evaluation is a maturing discipline with methodologies and measures being developed and proposed. However, evaluation methods that have been proposed have not been applie...