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
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;
Conference_Titel :
Computational Intelligence and Security, 2009. CIS '09. International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-5411-2
DOI :
10.1109/CIS.2009.219