461 search results - page 2 / 93 » Developing security protocols by refinement |
111
click to vote
ISSE
2010
14 years 6 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...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
HCSE
2010
14 years 9 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
DAGSTUHL
2007
15 years 1 months ago
2007