DocumentCode
1619051
Title
Modeling trusted software
Author
Yang, Jie ; Li, Yi
Author_Institution
Sch. of Software, South China Univ. of Technol., Guangzhou, China
fYear
2009
Firstpage
370
Lastpage
373
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.
Keywords
bisimulation equivalence; open systems; process algebra; program testing; software architecture; architectural compatibility check; interoperability check; model-checking tools; process algebra based language; trusted software architectural modeling; weak bi-simulation equivalence; Algebra; Computer architecture; Concurrent computing; Flowcharts; Joining processes; Paper technology; Software architecture; Software safety; Software systems; Software tools; process algebras; software architecture; trusted model;
fLanguage
English
Publisher
ieee
Conference_Titel
Anti-counterfeiting, Security, and Identification in Communication, 2009. ASID 2009. 3rd International Conference on
Conference_Location
Hong Kong
Print_ISBN
978-1-4244-3883-9
Electronic_ISBN
978-1-4244-3884-6
Type
conf
DOI
10.1109/ICASID.2009.5276956
Filename
5276956
Link To Document