结构化消息传递控制模型

摘要

软件系统模块间的消息传递关系到系统安全。提出一种解决模块间消息安全可靠传递的软件设计方法,研究模块间消息传递机制,对传递的消息进行结构化;解决消息传递过程中模块认证、消息完整性和机密性以及消息访问控制等问题;最终抽象出一个结构化消息传递模型,用以指导实现高安全级别的软件系统,以达到软件模块间消息传递的安全需求。