Title: Using model checkers to elicit security metrics
Authors: Heyman, Thomas ×
Yskout, Koen
Huygens, Christophe
Joosen, Wouter #
Issue Date: 29-Jul-2008
Conference: Workshop on Security Metrics, MetriCon edition:3 location:San Jose, CA, USA date:29 July 2008
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
heyman-metricon3.pdfAbstract submitted for participation Published 127KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.