3081 search results - page 242 / 617 » A Formal Ontology of Properties |
189
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
181
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
172
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
204
click to vote
INFSOF
2002
15 years 6 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
189
click to vote
IPL
2011
15 years 1 months ago
2011
Fugue is an intriguing hash function design with a novel shift-register based compression structure and has formal security proofs e.g. against collision attacks. In this paper, w...