security variability design and analysis; software architecture; aspect oriented;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:软件体系结构的性能建模和分析:一种基于方面的基于UML的方法
机译:软件架构设计的正式安全性分析:新兴建筑风格的表现力框架
机译:面向方面的软件体系结构中的安全性可变性设计和分析
机译:面向服务的软件体系结构的定量安全性分析
机译:医疗软件中面向服务的体系结构:承诺与风险
机译:用于软件定义网络的安全控制架构的设计与实现,以及用于软件定义网络的安全控制架构的实施