783 search results - page 18 / 157 » On security proof of McCullagh |
149
Voted
ECCC
2011
14 years 11 months ago
2011
138
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
115
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
116
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
147
click to vote
ISSE
2010
14 years 11 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...