Modeling trusted software

Authors:
Jie Yang;Yi Li
Affiliations:
School of Software, South China University of Technology, Guangzhou, China;School of Software, South China University of Technology, Guangzhou, China
Venue:
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Year:
2009

Citing 3
Cited 0

On the formalization of architectural types with process algebras

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Architecting families of software systems with process algebras

ACM Transactions on Software Engineering and Methodology (TOSEM)
Reconciling Software Requirements and Architectures: The CBSP Approach

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduced the process algebra based language and its model-checking tools for trusted software architectural modeling, which deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability among a set of components through architectural compatibility check and interoperability check relying on weak bi-simulation equivalence.