Login / Signup

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