基于系统调用和进程代数CCS的行为建模方法

基于系统调用和进程代数CCS的行为建模方法 A Behavior Modeling Method Based on System Call and Algebra Process CCS 张帆 ZHANG Fan1 1 first-author 徐明迪 XU Mingdi2 2 游林 YOU Lin1 1 杭州电子科技大学通信工程学院 杭州电子科技大学通信工程学院 Communication School of Hangzhou Dianzi University Communication School of Hangzhou Dianzi University 武汉数字工程研究所系统软件部 武汉数字工程研究所系统软件部 System Software Department,Wuhan Digital Engineering Institute System Software Department,Wuhan Digital Engineering Institute 软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究:以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS（calculus of communication system）动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率. The dynamic behavior modeling for software is investigated.Firstly,we construct the software behavior based on system calls from the point of view the software-behavior theory.Then,we describe how to transform the system call-based software behavior into standard algebra CCS-based action.Next,the dynamic behavior of software is formally described as DBMS={SCSS,E},where SCSS is the system call sequence of the whole system,and E is a set of CCS-based action operators.By combining SCSS and E,any behavior of any software in a trusted computing platform can be expressed.Finally,we introduce a distributed dynamic behavior measurement architecture.This architecture can help improve the accuracy and efficiency of the trust measurement for dynamic software behaviors. 完整性度量 可信计算 行为建模 系统调用 进程代数CCS integrity measurement trusted computing behavior modeling system call process algebra CCS 10.14188/j.1671-8836.2011.05.002 TP309 浙江省自然科学基金杰出青年团队项目（R1090138）;武器装备预研基金资助项目（9140A15040211） 2011-05-01 2021-04-01 5 57