DocumentCode
3455406
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
fYear
2009
fDate
June 30 2009-July 2 2009
Firstpage
123
Lastpage
126
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/NISS.2009.37
Filename
5260450
Link To Document