Title :
Modeling Trusted Software with Process Algebras
Author :
Jie, Yang ; Zhen, Peng ; Guo-Dong, Li ; De-Yu, Qi
Author_Institution :
Sch. of Software, South China Univ. of Technol., Guangzhou, China
fDate :
June 30 2009-July 2 2009
Abstract :
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.
Keywords :
open systems; process algebra; program verification; security of data; software architecture; interoperability; process algebra; process algebra language; standard model-checking tool; trusted software architecture; trusted software modelling; Algebra; Architecture description languages; Computer architecture; Concurrent computing; Electronic switching systems; Flowcharts; Paper technology; Software architecture; Software standards; Software tools; process algebras; software architecture; trusted model;
Conference_Titel :
New Trends in Information and Service Science, 2009. NISS '09. International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-3687-3
DOI :
10.1109/NISS.2009.37
