Enumeration Based Security Behavior Model Checking Algorithm

Hua Xiao Liu; Ying Jin

doi:10.4028/www.scientific.net/AMM.20-23.808

Paper Titles

Design and Implementation of a Phase-Coded Quasi-CW Radar Signal Processor
p.785

Information Fusion of Ultrasonic Sensor Based on RBF Network in Obstacle-Avoidance System of Mobile Robot
p.791

Intelligent Method in the End-Point Control of BOF
p.796

Research on Orthogonal Half-Wavelength Dipole Antenna
p.801

Enumeration Based Security Behavior Model Checking Algorithm
p.808

The Study on the Framework of Wireless Network System
p.814

Principles for Process Reengineering of Manufacturing Logistics
p.820

Product Life Cycle of Automobile Parts Concerning Piracy
p.826

A Novel Human Pose Detection from Videos Algorithm Based on Motion Capture Data
p.833

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 20-23Enumeration Based Security Behavior Model Checking...

Enumeration Based Security Behavior Model Checking Algorithm

Abstract:

Model Carrying Code(MCC) provides a way to safe execution of untrusted code by taking both mobile code producer and consumers into consideration, where it checks mobile code security by comparing security related program behavior model with security policies. In this paper an enumeration based algorithm to checking security related behavior with respect to security policy has been given, where security behavior has been modeled as extended context free grammar and the security policy has been specified as extended FSA. Solutions to dealing with loops and recursions have been introduced. A program has been developed for implementing the algorithm, and several experiments have been done. It has been indicated that our algorithm can effectively check small scale security behavior models on the basis of simple security policies.