Enumeration Based Security Behavior Model Checking Algorithm

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Qi Luo

Pages:

808-813

DOI:

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

Citation:

H. X. Liu and Y. Jin, "Enumeration Based Security Behavior Model Checking Algorithm", Applied Mechanics and Materials, Vols. 20-23, pp. 808-813, 2010

Online since:

January 2010

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.