Title :
Modeling trusted software
Author :
Yang, Jie ; Li, Yi
Author_Institution :
Sch. of Software, South China Univ. of Technol., Guangzhou, China
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;
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
DOI :
10.1109/ICASID.2009.5276956
