@inproceedings{9bc12f88729645c799ef57a1bdacce0f,
title = "A formal method based case study for access control",
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 = "Alloy, Formal method, River crossing",
author = "Guoqi Li and Yang Xiao and Minyan Lu and Yuchao Zhang",
year = "2009",
doi = "10.1109/CIS.2009.219",
language = "英语",
isbn = "9780769539317",
series = "CIS 2009 - 2009 International Conference on Computational Intelligence and Security",
pages = "460--463",
booktitle = "CIS 2009 - 2009 International Conference on Computational Intelligence and Security",
note = "2009 International Conference on Computational Intelligence and Security, CIS 2009 ; Conference date: 11-12-2009 Through 14-12-2009",
}