Formal security analysis for software architecture design: an expressive framework to emerging architectural styles

Chondamrongkul, Nacha, Sun, Jing and Warren, Ian 2021, Formal security analysis for software architecture design: an expressive framework to emerging architectural styles, Science of computer programming, vol. 206, pp. 1-24, doi: 10.1016/j.scico.2021.102631.

Attached Files
Name Description MIMEType Size Downloads

Title Formal security analysis for software architecture design: an expressive framework to emerging architectural styles
Author(s) Chondamrongkul, Nacha
Sun, Jing
Warren, IanORCID iD for Warren, Ian orcid.org/0000-0001-8355-118X
Journal name Science of computer programming
Volume number 206
Article ID 102631
Start page 1
End page 24
Total pages 24
Publisher Elsevier
Place of publication Amsterdam, The Netherlands
Publication date 2021-06
ISSN 0167-6423
Language eng
DOI 10.1016/j.scico.2021.102631
Indigenous content off
Field of Research 0803 Computer Software
HERDC Research category C1 Refereed article in a scholarly journal
Persistent URL http://hdl.handle.net/10536/DRO/DU:30149315

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 28 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Sat, 19 Jun 2021, 22:50:08 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.