Reference : Specification, verification, and quantification of security in model-based systems
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/21774
Specification, verification, and quantification of security in model-based systems
English
Ouchani, Samir mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Debbabi, Mourad mailto [> >]
2015
Computing
Springer Science & Business Media B.V.
97
691-711
Yes (verified by ORBilu)
International
0010-485X
1436-5057
[en] Security ; Specification ; Verification
[en] Modern systems are more and more complex and security has become a key component in the success of software and systems development. The main challenge encountered in industry as well as in academia is to develop secure products, prove their security correctness, measure their resilience to attacks, and check if vulnerabilities exist. In this paper, we review the state-of-the-art related to security specification, verification, and quantification for software and systems that are modeled by using UML or SysML language. The reviewed work fall into the field of secure software and systems engineering that aims at fulfilling the security as an afterthought in the development of secure systems.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/21774
10.1007/s00607-015-0445-x
http://dx.doi.org/10.1007/s00607-015-0445-x

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
art%3A10.1007%2Fs00607-015-0445-x.pdfPublisher postprint473.66 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.