3081 search results - page 349 / 617 » A Formal Ontology of Properties |
183
click to vote
IFL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
158
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
187
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
166
click to vote
GLVLSI
2006
IEEE
16 years 22 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
178
click to vote
SP
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...