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

journal contribution

posted on 2021-06-01, 00:00 authored by N Chondamrongkul, J Sun, I Warren

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

History

Journal

Science of computer programming

Volume

206

Article number

102631

Pagination

1-24

Location

Amsterdam, The Netherlands

Publisher DOI

https://doi.org/10.1016/j.scico.2021.102631

ISSN

0167-6423

Language

eng

Publication classification

C1 Refereed article in a scholarly journal

Publisher

Elsevier

Usage metrics

Categories

Software engineering not elsewhere classified

Keywords

Uncategorised value

Licence

All Rights Reserved

Exports