Formal Specification and Verification of Anonymity and Privacy
名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:2013-10-31
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/2237/19073 |
名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:2013-10-31
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/2237/19073 |