| DaftarIsitemplate |
| Call Number |
| 005.8 Adv |
| Title |
| Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89 |
| Author |
| Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; |
| Publisher |
| Springer, 2009 |
| Subject |
| Location |