Validation of Security-Design Models Using Z

Nafees Qamar,Y. Ledru,Akram Idani
DOI: https://doi.org/10.1007/978-3-642-24559-6_19
2011-10-26
Abstract:
What problem does this paper attempt to address?