The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 32-223
Full Name: Conghua Zhou
Position: Doctor (Researcher)
Age: ON
Sex: Male
Address: School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang,212013, Jiangsu Province, China
Country: CHINA
Tel:
Tel prefix:
Fax:
E-mail address: chzhou@ujs.edu.cn
Other E-mails: zchwyl2003@163.com
Title of the Paper: symbolic algorithmic verification of generalized noninterference
Authors as they appear in the Paper: Conghua Zhou
Email addresses of all the authors: chzhou@ujs.edu.cn,zchwyl2003@163.com
Number of paper pages: 12
Abstract: In this paper we propose an algorithmic verification technique to check generalized noninterference. Our technique is based on the counterexamples search strategy mainly which generating counterexamples of minimal length. In order to make the verification procedure terminate as soon as possible we also discuss how to integrate the window induction proof strategy in our technique. We further show how to reduce counterexamples search and induction proof to quantified propositional satisfiability. This reduction enables us to use efficient quantified propositional decision procedures to perform generalized noninterference checking.
Keywords: Generalized noninterference, Quantified propositional satisfiability, Multilevel security, Information flow, Access control
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress:
IP ADDRESS: 221.6.159.252
