Modeling Trusted Software with Process Algebras
Jie Yang, Zhen Peng, Li Guo-dong, Deyu Qi · 2009
This paper introduces the process algebra language with its powerful standard model-checking tools for trusted software architectures, 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 standard observational equivalences.