%0 Conference Paper %1 conf/sersc-isa/SakaiHS09 %A Sakai, Akihiro %A Hori, Yoshiaki %A Sakurai, Kouichi %B ISA %D 2009 %E Park, Jong Hyuk %E Chen, Hsiao-Hwa %E Atiquzzaman, Mohammed %E Lee, Changhoon %E Kim, Tai-Hoon %E Yeo, Sang-Soo %I Springer %K dblp %P 80-89 %T Formal Verification for Access Control in Web Information Sharing System. %U http://dblp.uni-trier.de/db/conf/sersc-isa/isa2009.html#SakaiHS09 %V 5576 %@ 978-3-642-02616-4

@inproceedings{conf/sersc-isa/SakaiHS09, added-at = {2017-05-24T00:00:00.000+0200}, author = {Sakai, Akihiro and Hori, Yoshiaki and Sakurai, Kouichi}, biburl = {https://www.bibsonomy.org/bibtex/2e259070e677caf0f3a4b9221f3ab8c6c/dblp}, booktitle = {ISA}, crossref = {conf/sersc-isa/2009}, editor = {Park, Jong Hyuk and Chen, Hsiao-Hwa and Atiquzzaman, Mohammed and Lee, Changhoon and Kim, Tai-Hoon and Yeo, Sang-Soo}, ee = {https://doi.org/10.1007/978-3-642-02617-1_9}, interhash = {e7710ee74bf3cfdeb88d95f4702f0f38}, intrahash = {e259070e677caf0f3a4b9221f3ab8c6c}, isbn = {978-3-642-02616-4}, keywords = {dblp}, pages = {80-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:43:13.000+0200}, title = {Formal Verification for Access Control in Web Information Sharing System.}, url = {http://dblp.uni-trier.de/db/conf/sersc-isa/isa2009.html#SakaiHS09}, volume = 5576, year = 2009 }