397 search results - page 1 / 80 » Refinement Types for Secure Implementations |
71
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
COMPSEC
2010
14 years 9 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
121
Voted
ISSE
2010
14 years 8 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...
65
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
115
Voted
ESORICS
2002
Springer
16 years 20 days ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...