(en) Achim D. Brucker et Burkhart Wolff, « A verification approach to applied system security », International Journal on Software Tools for Technology Transfer, vol. 7, no 3, , p. 233–247 (ISSN1433-2787, DOI10.1007/s10009-004-0176-3, lire en ligne, consulté le )
doi.org
(en) Achim D. Brucker et Burkhart Wolff, « A verification approach to applied system security », International Journal on Software Tools for Technology Transfer, vol. 7, no 3, , p. 233–247 (ISSN1433-2787, DOI10.1007/s10009-004-0176-3, lire en ligne, consulté le )
google.fr
books.google.fr
(en) DIANE Publishing Company, National Computer Security Conference, 1993 (16th) Proceedings: Information Systems Security: User Choices, DIANE Publishing, (ISBN978-0-7881-1924-8, lire en ligne)
issn.org
portal.issn.org
(en) Achim D. Brucker et Burkhart Wolff, « A verification approach to applied system security », International Journal on Software Tools for Technology Transfer, vol. 7, no 3, , p. 233–247 (ISSN1433-2787, DOI10.1007/s10009-004-0176-3, lire en ligne, consulté le )