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