DocumentCode :
3018098
Title :
A Formal Method Based Case Study for Access Control
Author :
Li, Guoqi ; Xiao, Yang ; Lu, Minyan ; Zhang, Yuchao
Author_Institution :
Dept. of Syst. Eng. of Eng. Technol., Beihang Univ., Beijing, China
Volume :
2
fYear :
2009
fDate :
11-14 Dec. 2009
Firstpage :
460
Lastpage :
463
Abstract :
River crossing problem is a typical logic puzzle. In the puzzle, the members should cross from one river bank to another abide by some restrictions. This kind of puzzles can be seen as access control problems from the logical point of view. The analysis could help to specify suitable constraint strategies for design access control systems. In this paper, case studies are carried out for the idea mentioned above. Hope the exploration could be valuable reference for research of access control.
Keywords :
authorisation; formal logic; formal specification; access control system; formal method; logic puzzle; river crossing problem; Access control; Books; Computational intelligence; Logic; Rivers; Security; Software tools; Systems engineering and theory; Visualization; Web pages; Alloy; formal method; river crossing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Security, 2009. CIS '09. International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-5411-2
Type :
conf
DOI :
10.1109/CIS.2009.219
Filename :
5376159
Link To Document :
بازگشت