XRound : A reversible template language and its application in model-based security analysis

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2009) XRound : A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: SPECIAL ISSUE: Model-Driven Development for Secure Information Systems.
Keywords: Model-Driven Development,Template processing,UML,Security analysis,Computer Science Applications,Information Systems,Software
Dates:
  • Published: May 2009
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Jun 2012 14:17
Last Modified: 31 Jan 2021 11:30
Published Version: https://doi.org/10.1016/j.infsof.2008.05.006
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.infsof.2008.05.006
Related URLs:

Download

Filename: XRound_A_Reversible_Template_Language_and_its_application_in_Model_Based_Security_Analysis.pdf

Description: XRound: A reversible template language and its application in model-based security analysis

Share / Export

Statistics