A Behavior Modeling Method Based on System Call and Algebra Process CCS
You Chen Lin · Journal of Wuhan University · 2011
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.