• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Nacha ChondamrongkulJing SunIan Warren
Published in: Sci. Comput. Program. (2021)
Keyphrases
  • security analysis
  • software architecture
  • information systems
  • computer systems
  • security requirements
  • public key
  • case study
  • fine grained
  • cost effective
  • formal model