| 2012 |
|---|
| 112 | Slicing: A New Approach for Privacy Preserving Data Publishing. Tiancheng Li, Ninghui Li, Jian Zhang, Ian Molloy. IEEE Trans. Knowl. Data Eng. (24): 561-574 (2012). Web SearchBibTeXDownload |
| 2011 |
|---|
| 111 | Introduction to special section SACMAT'08. Ninghui Li. ACM Trans. Inf. Syst. Secur. (14): 1 (2011). Web SearchBibTeXDownload |
| 110 | Combining Discretionary Policy with Mandatory Information Flow in Operating Systems. Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang. ACM Trans. Inf. Syst. Secur. (14): 24 (2011). Web SearchBibTeXDownload |
| 109 | Attack on the GridCode one-time password. Ian Molloy, Ninghui Li. ASIACCS 2011, 306-315. Web SearchBibTeXDownload |
| 108 | Fine-grained integration of access control policies. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. Computers & Security (30): 91-107 (2011). Web SearchBibTeXDownload |
| 107 | Provably Private Data Anonymization: Or, k-Anonymity Meets Differential Privacy. Ninghui Li, Wahbeh H. Qardaji, Dong Su. CoRR (abs/1101.2604) (2011). Web SearchBibTeXDownload |
| 106 | Trust Management. Brian Wongchaowart, Adam J. Lee. Encyclopedia of Cryptography and Security (2nd Ed.) 2011, 1323-1325. Web SearchBibTeXDownload |
| 105 | Discretionary Access Control. Ninghui Li. Encyclopedia of Cryptography and Security (2nd Ed.) 2011, 353-356. Web SearchBibTeXDownload |
| 104 | Security Risk Management Using Incentives. Debin Liu, Ninghui Li, XiaoFeng Wang, L. Jean Camp. IEEE Security & Privacy (9): 20-28 (2011). Web SearchBibTeXDownload |
| 103 | On the Complexity of Authorization in RBAC under Qualification and Security Constraints. Yuqing Sun, Qihua Wang, Ninghui Li, Elisa Bertino, Mikhail J. Atallah. IEEE Trans. Dependable Sec. Comput. (8): 883-897 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 102 | Mining Roles with Multiple Objectives. Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo. ACM Trans. Inf. Syst. Secur. (13): 36 (2010). Web SearchBibTeXDownload |
| 101 | Satisfiability and Resiliency in Workflow Authorization Systems. Qihua Wang, Ninghui Li. ACM Trans. Inf. Syst. Secur. (13): 40 (2010). Web SearchBibTeXDownload |
| 100 | Analysis Techniques for Information Security. Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps. Analysis Techniques for Information Security 2010. Web SearchBibTeXDownload |
| 99 | Closeness: A New Privacy Measure for Data Publishing. Ninghui Li, Tiancheng Li, Suresh Venkatasubramanian. IEEE Trans. Knowl. Data Eng. (22): 943-956 (2010). Web SearchBibTeXDownload |
| 98 | EXAM: a comprehensive environment for the analysis of access control policies. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo. Int. J. Inf. Sec. (9): 253-273 (2010). Web SearchBibTeXDownload |
| 97 | Nonparametric Bayesian Matrix Factorization by Power-EP. Nan Ding, Yuan (Alan) Qi, Rongjing Xiang, Ian Molloy, Ninghui Li. Journal of Machine Learning Research - Proceedings Track (9): 169-176 (2010). Web SearchBibTeXDownload |
| 96 | Minimizing Minimality and Maximizing Utility: Analyzing Method-based attacks on Anonymized Data. Graham Cormode, Ninghui Li, Tiancheng Li, Divesh Srivastava. PVLDB (3): 1045-1056 (2010). Web SearchBibTeXDownload |
| 95 | Towards analyzing complex operating system access control configurations. Hong Chen, Ninghui Li, Christopher S. Gates, Ziqing Mao. SACMAT 2010, 13-22. Web SearchBibTeXDownload |
| 94 | Mining roles with noisy data. Ian Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens. SACMAT 2010, 45-54. Web SearchBibTeXDownload |
| 2009 |
|---|
| 93 | Automated trust negotiation using cryptographic credentials. Jiangtao Li, Ninghui Li, William H. Winsborough. ACM Trans. Inf. Syst. Secur. (13) (2009). Web SearchBibTeXDownload |
| 92 | Resiliency Policies in Access Control. Ninghui Li, Qihua Wang, Mahesh V. Tripunitara. ACM Trans. Inf. Syst. Secur. (12) (2009). Web SearchBibTeXDownload |
| 91 | Slicing: A New Approach to Privacy Preserving Data Publishing. Tiancheng Li, Ninghui Li, Jian Zhang, Ian Molloy. CoRR (abs/0909.2290) (2009). Web SearchBibTeXDownload |
| 90 | Asymmetric Encryption. Ninghui Li. Encyclopedia of Database Systems 2009, 142. Web SearchBibTeXDownload |
| 89 | Symmetric Encryption. Ninghui Li. Encyclopedia of Database Systems 2009, 2897-2898. Web SearchBibTeXDownload |
| 88 | Data Encryption. Ninghui Li. Encyclopedia of Database Systems 2009, 574. Web SearchBibTeXDownload |
| 87 | Homomorphic Encryption. Berry Schoenmakers. Encyclopedia of Database Systems 2009, 1320. Web SearchBibTeXDownload |
| 86 | WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance. Tiancheng Li, Xiaonan Ma, Ninghui Li. ESORICS 2009, 472-488. Web SearchBibTeXDownload |
| 85 | Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging. Qihua Wang, Hongxia Jin, Ninghui Li. ESORICS 2009, 268-284. Web SearchBibTeXDownload |
| 84 | Defeating Cross-Site Request Forgery Attacks with Browser-Enforced Authenticity Protection. Ziqing Mao, Ninghui Li, Ian Molloy. Financial Cryptography 2009, 238-255. Web SearchBibTeXDownload |
| 83 | Policy framework for security and privacy management. John Karat, Clare-Marie Karat, Elisa Bertino, Ninghui Li, Qun Ni, Carolyn Brodie, Jorge Lobo, Seraphin B. Calo, Lorrie Faith Cranor, Ponnurangam Kumaraguru, Robert W. Reeder. IBM Journal of Research and Development (53): 4 (2009). Web SearchBibTeXDownload |
| 82 | Analysis of privacy and security policies. Elisa Bertino, Carolyn Brodie, Seraphin B. Calo, Lorrie Faith Cranor, Clare-Marie Karat, John Karat, Ninghui Li, Dan Lin, Jorge Lobo, Qun Ni, Prathima Rao, Xiping Wang. IBM Journal of Research and Development (53): 3 (2009). Web SearchBibTeXDownload |
| 81 | Modeling and Integrating Background Knowledge in Data Anonymization. Tiancheng Li, Ninghui Li, Jian Zhang. ICDE 2009, 6-17. Web SearchBibTeXDownload |
| 80 | On the (In)Security and (Im)Practicality of Outsourcing Precise Association Rule Mining. Ian Molloy, Ninghui Li, Tiancheng Li. ICDM 2009, 872-877. Web SearchBibTeXDownload |
| 79 | Denial of service attacks and defenses in decentralized trust management. Jiangtao Li, Ninghui Li, XiaoFeng Wang, Ting Yu. Int. J. Inf. Sec. (8): 89-101 (2009). Cited by 7Web SearchBibTeXDownload |
| 78 | Assured Information Sharing Life Cycle. Tim Finin, Anupam Joshi, Hillol Kargupta, Yelena Yesha, Joel Sachs, Elisa Bertino, Ninghui Li, Chris Clifton, Gene Spafford, Bhavani M. Thuraisingham, Murat Kantarcioglu, Alain Bensoussan, Nathan Berg, Latifur Khan, Jiawei Han, ChengXiang Zhai, Ravi S. Sandhu, Shouhuai Xu, Jim Massaro, Lada A. Adamic. ISI 2009, 307-309. Web SearchBibTeXDownload |
| 77 | Privacy-preserving incremental data dissemination. Ji-Won Byun, Tiancheng Li, Elisa Bertino, Ninghui Li, Yonglak Sohn. Journal of Computer Security (17): 43-68 (2009). Cited by 2Web SearchBibTeXDownload |
| 76 | On the tradeoff between privacy and utility in data publishing. Tiancheng Li, Ninghui Li. KDD 2009, 517-526. Web SearchBibTeXDownload |
| 75 | Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems. Hong Chen, Ninghui Li, Ziqing Mao. NDSS 2009. Web SearchBibTeXDownload |
| 74 | TIAMAT: a Tool for Interactive Analysis of Microdata Anonymization Techniques. Chenyun Dai, Gabriel Ghinita, Elisa Bertino, Ji-Won Byun, Ninghui Li. PVLDB (2): 1618-1621 (2009). Web SearchBibTeXDownload |
| 73 | Trojan horse resistant discretionary access control. Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang. SACMAT 2009, 237-246. Web SearchBibTeXDownload |
| 72 | An efficient framework for user authorization queries in RBAC systems. Guneshi T. Wickramaarachchi, Wahbeh H. Qardaji, Ninghui Li. SACMAT 2009, 23-32. Web SearchBibTeXDownload |
| 71 | Access control policy combining: theory meets practice. Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo, Dan Lin. SACMAT 2009, 135-144. Cited by 1Web SearchBibTeXDownload |
| 70 | An algebra for fine-grained integration of XACML policies. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. SACMAT 2009, 63-72. Cited by 2Web SearchBibTeXDownload |
| 69 | Evaluating role mining algorithms. Ian Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo. SACMAT 2009, 95-104. Web SearchBibTeXDownload |
| 2008 |
|---|
| 68 | Towards optimal k-anonymization. Tiancheng Li, Ninghui Li. Data Knowl. Eng. (65): 22-39 (2008). Web SearchBibTeXDownload |
| 67 | Access Control Friendly Query Verification for Outsourced Data Publishing. Hong Chen, Xiaonan Ma, Windsor W. Hsu, Ninghui Li, Qihua Wang. ESORICS 2008, 177-191. Cited by 2Web SearchBibTeXDownload |
| 66 | On the Security of Delegation in Access Control Systems. Qihua Wang, Ninghui Li, Hong Chen. ESORICS 2008, 317-332. Web SearchBibTeXDownload |
| 65 | Injector: Mining Background Knowledge for Data Anonymization. Tiancheng Li, Ninghui Li. ICDE 2008, 446-455. Web SearchBibTeXDownload |
| 64 | Towards Formal Verification of Role-Based Access Control Policies. Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough. IEEE Trans. Dependable Sec. Comput. (5): 242-255 (2008). Web SearchBibTeXDownload |
| 63 | How to make Discretionary Access Control secure against trojan horses. Ninghui Li. IPDPS 2008, 1-3. Web SearchBibTeXDownload |
| 62 | Beyond separation of duty: An algebra for specifying high-level security policies. Ninghui Li, Qihua Wang. J. ACM (55) (2008). Web SearchBibTeXDownload |
| 61 | Algebraic Construction for Zero-Knowledge Sets. Rui Xue, Ninghui Li, Jiangtao Li. J. Comput. Sci. Technol. (23): 166-175 (2008). Web SearchBibTeXDownload |
| 60 | PRECIP: Towards Practical and Retrofittable Confidential Information Protection. XiaoFeng Wang, Zhuowei Li, Ninghui Li, Jong Youl Choi. NDSS 2008. Web SearchBibTeXDownload |
| 59 | EXAM: An Environment for Access Control Policy Analysis and Management. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. POLICY 2008, 238-240. Web SearchBibTeXDownload |
| 58 | Policy decomposition for collaborative access control. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo. SACMAT 2008, 103-112. Cited by 4Web SearchBibTeXDownload |
| 57 | Mining roles with semantic meanings. Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo. SACMAT 2008, 21-30. Cited by 14Web SearchBibTeXDownload |
| 56 | Purpose based access control for privacy protection in relational database systems. Ji-Won Byun, Ninghui Li. VLDB J. (17): 603-619 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 55 | On mutually exclusive roles and separation-of-duty. Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri. ACM Trans. Inf. Syst. Secur. (10) (2007). Web SearchBibTeXDownload |
| 54 | Universal Accumulators with Efficient Nonmembership Proofs. Jiangtao Li, Ninghui Li, Rui Xue. ACNS 2007, 253-269. Web SearchBibTeXDownload |
| 53 | Direct static enforcement of high-level security policies. Qihua Wang, Ninghui Li. ASIACCS 2007, 214-225. Web SearchBibTeXDownload |
| 52 | Administration in role-based access control. Ninghui Li, Ziqing Mao. ASIACCS 2007, 127-138. Web SearchBibTeXDownload |
| 51 | A roadmap for comprehensive online privacy policy management. Annie I. Antón, Elisa Bertino, Ninghui Li, Ting Yu. Commun. ACM (50): 109-116 (2007). Cited by 23Web SearchBibTeXDownload |
| 50 | Efficient k -Anonymization Using Clustering Techniques. Ji-Won Byun, Ashish Kamra, Elisa Bertino, Ninghui Li. DASFAA 2007, 188-200. Cited by 46Web SearchBibTeXDownload |
| 49 | Satisfiability and Resiliency in Workflow Systems. Qihua Wang, Ninghui Li. ESORICS 2007, 90-105. Web SearchBibTeXDownload |
| 48 | Dynamic Virtual Credit Card Numbers. Ian Molloy, Jiangtao Li, Ninghui Li. Financial Cryptography 2007, 208-223. Web SearchBibTeXDownload |
| 47 | t-Closeness: Privacy Beyond k-Anonymity and l-Diversity. Ninghui Li, Tiancheng Li, Suresh Venkatasubramanian. ICDE 2007, 106-115. Web SearchBibTeXDownload |
| 46 | A Critique of the ANSI Standard on Role-Based Access Control. Ninghui Li, Ji-Won Byun, Elisa Bertino. IEEE Security & Privacy (5): 41-49 (2007). Cited by 28Web SearchBibTeXDownload |
| 45 | Usable Mandatory Integrity Protection for Operating Systems. Ninghui Li, Ziqing Mao, Hong Chen. IEEE Symposium on Security and Privacy 2007, 164-178. Web SearchBibTeXDownload |
| 44 | A theory for comparing the expressive power of access control models. Mahesh V. Tripunitara, Ninghui Li. Journal of Computer Security (15): 231-272 (2007). Web SearchBibTeXDownload |
| 43 | On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. Qihua Wang, Ting Yu, Ninghui Li, Jorge Lobo, Elisa Bertino, Keith Irwin, Ji-Won Byun. VLDB 2007, 555-566. Cited by 10Web SearchBibTeXDownload |
| 2006 |
|---|
| 42 | Resiliency policies in access control. Ninghui Li, Mahesh V. Tripunitara, Qihua Wang. ACM Conference on Computer and Communications Security 2006, 113-123. Web SearchBibTeXDownload |
| 41 | Beyond separation of duty: an algebra for specifying high-level security policies. Ninghui Li, Qihua Wang. ACM Conference on Computer and Communications Security 2006, 356-369. Web SearchBibTeXDownload |
| 40 | Security analysis in role-based access control. Ninghui Li, Mahesh V. Tripunitara. ACM Trans. Inf. Syst. Secur. (9): 391-420 (2006). Web SearchBibTeXDownload |
| 39 | Safety in automated trust negotiation. William H. Winsborough, Ninghui Li. ACM Trans. Inf. Syst. Secur. (9): 352-390 (2006). Web SearchBibTeXDownload |
| 38 | Optimal k-Anonymity with Flexible Generalization Schemes through Bottom-up Searching. Tiancheng Li, Ninghui Li. ICDM Workshops 2006, 518-523. Web SearchBibTeXDownload |
| 37 | Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper). Ziqing Mao, Ninghui Li, William H. Winsborough. ICICS 2006, 159-173. Web SearchBibTeXDownload |
| 36 | A Construction for General and Efficient Oblivious Commitment Based Envelope Protocols. Jiangtao Li, Ninghui Li. ICICS 2006, 122-138. Web SearchBibTeXDownload |
| 35 | OACerts: Oblivious Attribute Certificates. Jiangtao Li, Ninghui Li. IEEE Trans. Dependable Sec. Comput. (3): 340-352 (2006). Web SearchBibTeXDownload |
| 34 | Understanding SPKI/SDSI using first-order logic. Ninghui Li, John C. Mitchell. Int. J. Inf. Sec. (5): 48-64 (2006). Web SearchBibTeXDownload |
| 33 | Constraint generation for separation of duty. Hong Chen, Ninghui Li. SACMAT 2006, 130-138. Web SearchBibTeXDownload |
| 32 | Achieving privacy in mesh networks. Xiaoxin Wu, Ninghui Li. SASN 2006, 13-22. Web SearchBibTeXDownload |
| 31 | Secure Anonymization for Incremental Datasets. Ji-Won Byun, Yonglak Sohn, Elisa Bertino, Ninghui Li. Secure Data Management 2006, 48-63. Cited by 54Web SearchBibTeXDownload |
| 2005 |
|---|
| 30 | Automated trust negotiation using cryptographic credentials. Jiangtao Li, Ninghui Li, William H. Winsborough. ACM Conference on Computer and Communications Security 2005, 46-57. Web SearchBibTeXDownload |
| 29 | OACerts: Oblivious Attribute Certificates. Jiangtao Li, Ninghui Li. ACNS 2005, 301-317. Web SearchBibTeXDownload |
| 28 | Oblivious signature-based envelope. Ninghui Li, Wenliang Du, Dan Boneh. Distributed Computing (17): 293-302 (2005). Web SearchBibTeXDownload |
| 27 | Privacy-Preserving Database Systems. Elisa Bertino, Ji-Won Byun, Ninghui Li. FOSAD 2005, 178-206. Cited by 20Web SearchBibTeXDownload |
| 26 | On Safety in Discretionary Access Control. Ninghui Li, Mahesh V. Tripunitara. IEEE Symposium on Security and Privacy 2005, 96-109. Web SearchBibTeXDownload |
| 25 | Beyond proof-of-compliance: security analysis in trust management. Ninghui Li, John C. Mitchell, William H. Winsborough. J. ACM (52): 474-514 (2005). Web SearchBibTeXDownload |
| 24 | Policy-hiding access control in open environment. Jiangtao Li, Ninghui Li. PODC 2005, 29-38. Web SearchBibTeXDownload |
| 23 | Purpose based access control of complex data for privacy protection. Ji-Won Byun, Elisa Bertino, Ninghui Li. SACMAT 2005, 102-110. Cited by 71Web SearchBibTeXDownload |
| 2004 |
|---|
| 22 | Comparing the expressive power of access control models. Mahesh V. Tripunitara, Ninghui Li. ACM Conference on Computer and Communications Security 2004, 62-71. Web SearchBibTeXDownload |
| 21 | On mutually-exclusive roles and separation of duty. Ninghui Li, Ziad Bizri, Mahesh V. Tripunitara. ACM Conference on Computer and Communications Security 2004, 42-51. Web SearchBibTeXDownload |
| 20 | Securing Java RMI-Based Distributed Applications. Ninghui Li, John C. Mitchell, Derrick Tong. ACSAC 2004, 262-271. Web SearchBibTeXDownload |
| 19 | Safety in Automated Trust Negotiation. William H. Winsborough, Ninghui Li. IEEE Symposium on Security and Privacy 2004, 147-160. Web SearchBibTeXDownload |
| 18 | A Framework for Role-Based Access Control in Group Communication Systems. Cristina Nita-Rotaru, Ninghui Li. ISCA PDCS 2004, 522-529. Web SearchBibTeX |
| 17 | Security analysis in role-based access control. Ninghui Li, Mahesh V. Tripunitara. SACMAT 2004, 126-135. Web SearchBibTeXDownload |
| 16 | A formal semantics for P3P. Ting Yu, Ninghui Li, Annie I. Antón. SWS 2004, 1-8. Cited by 32Web SearchBibTeXDownload |
| 2003 |
|---|
| 15 | Delegation logic: A logic-based approach to distributed authorization. Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum. ACM Trans. Inf. Syst. Secur. (6): 128-171 (2003). Web SearchBibTeXDownload |
| 14 | Understanding SPKI/SDSI Using First-Order Logic. Ninghui Li, John C. Mitchell. CSFW 2003, 89. Web SearchBibTeXDownload |
| 13 | A Role-based Trust-management Framework. Ninghui Li, John C. Mitchell. DISCEX (1) 2003, 201. Web SearchBibTeXDownload |
| 12 | Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. Ninghui Li, William H. Winsborough, John C. Mitchell. IEEE Symposium on Security and Privacy 2003, 123-139. Web SearchBibTeXDownload |
| 11 | Distributed Credential Chain Discovery in Trust Management. Ninghui Li, William H. Winsborough, John C. Mitchell. Journal of Computer Security (11): 35-86 (2003). Web SearchBibTeXDownload |
| 10 | DATALOG with Constraints: A Foundation for Trust Management Languages. Ninghui Li, John C. Mitchell. PADL 2003, 58-73. Web SearchBibTeXDownload |
| 9 | Oblivious signature-based envelope. Ninghui Li, Wenliang Du, Dan Boneh. PODC 2003, 182-189. Web SearchBibTeXDownload |
| 2002 |
|---|
| 8 | Design of a Role-Based Trust-Management Framework. Ninghui Li, John C. Mitchell, William H. Winsborough. IEEE Symposium on Security and Privacy 2002, 114-130. Web SearchBibTeXDownload |
| 7 | Towards Practical Automated Trust Negotiation. William H. Winsborough, Ninghui Li. POLICY 2002, 92-103. Web SearchBibTeXDownload |
| 6 | Protecting sensitive attributes in automated trust negotiation. William H. Winsborough, Ninghui Li. WPES 2002, 41-51. Web SearchBibTeXDownload |
| 2001 |
|---|
| 5 | Distributed credential chain discovery in trust management: extended abstract. Ninghui Li, William H. Winsborough, John C. Mitchell. ACM Conference on Computer and Communications Security 2001, 156-165. Web SearchBibTeXDownload |
| 4 | Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation. Ninghui Li, Joan Feigenbaum. Financial Cryptography 2001, 157-168. Web SearchBibTeXDownload |
| 2000 |
|---|
| 3 | Local Names in SPKI/SDSI. Ninghui Li. CSFW 2000, 2-15. Web SearchBibTeXDownload |
| 2 | A Practically Implementable and Tractable Delegation Logic. Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum. IEEE Symposium on Security and Privacy 2000, 27-42. Web SearchBibTeXDownload |
| 1999 |
|---|
| 1 | A Logic-based Knowledge Representation for Authorization with Delegation. Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof. CSFW 1999, 162-174. Web SearchBibTeXDownload |
