A New Trusted Software Modeling Method

摘要：

The paper introduces the process algebra based modeling language and 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.

关键词： process algebras software architecture trusted model

作者: Yang Jie Li Yi Yu Min-cong

作者单位: School of software South China University of technology Guangzhou, Guangdong Province 510006, China

会议类型: 国际会议

会议名称: 第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)

会议地点: 南京

会议语种:英文

页码: 889-893

在线出版日期: 2009-07-25（万方平台首次上网日期，不代表论文的发表时间）