170
Voted
ASM
2010
ASM
16 years 18 days ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...