IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model-Based Verification of Security and Non-Functional Behavior using AADL

Author(s): Jorgen Hansson ; Bruce Lewis ; Jerome Hugues ; Lutz Wrage ; Peter Feiler ; John Morley
Sponsor(s): IEEE Computer Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Electronic): 1558-4046
ISSN (Paper): 1540-7993
DOI: 10.1109/MSP.2009.143
Regular:

Modeling of system quality attributes, including security, is often done with low fidelity software models and disjointed architectural specifications by various engineers using their own... View More

Advertisement