A Formal Method Based Case Study for Access Control.

Guoqi Li, Yang Xiao, Minyan Lu, Yuchao Zhang

Browse the full CIS paper archive.