The Applied Pi Calculus
- 期刊名称Journal of the ACM
- 作者Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
- 卷第65卷
- 期第1期
- 印刷ISSN0004-5411
- 文件大小798.38KB
- 发表时间2017-10-26
- DOI10.1145/3127586
- 页码1-41
360° Semantic File System: Augmented Directory Navigation for Nonhierarchical Retrieval of FilesMashwani, Syed Rahman; Khusro, Shah · IEEE Access · 2019
[IEEE 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Lahore, Pakistan (2016.12.15-2016.12.17)] 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Linked file system: Towards exploiting linked data technology in file systemsMashwani, Syed Rahman; Rauf, Azhar; Khusro, Shah; Mahfooz, Saeed · 2016
[IEEE 2009 Second International Symposium on Electronic Commerce and Security - Nanchang City, China (2009.05.22-2009.05.24)] 2009 Second International Symposium on Electronic Commerce and Security - E-Mail Address Privacy via PEA's (Proxy E-Mails Accounts)Mashwani, Syed Rahman; Khusro, Shah; Tjoa, A. Min · 2009