Ninghui Li's Publications

Publications

Oblivious Signature-Based Envelope
Ninghui Li, Wenliang Du, and Dan Boneh.
Invited submission to the journal Distributed Computing, special issue of selected papers of PODC 2003. Supercedes [C03e]

Beyond Proof-of-compliance: Security Analysis in Trust Management
Ninghui Li, John C. Mitchell, and William H. Winsborough
Submitted to JACM. Supercedes [C03c].

[J2] Distributed Credential Chain Discovery in Trust Management.
Ninghui Li, William H. Winsborough, and John C. Mitchell.
Journal of Computer Security, volume 11, number 1, pp. 35-86, February 2003.
(Paper in PDF) Supersedes [C01b]

[J1] Delegation Logic: A Logic-based Approach to Distributed Authorization.
Ninghui Li, Benjamin N. Grosof, and Joan Feigenbaum.
ACM Transactions on Information and System Security (TISSEC), volume 6, number 1, pp. 128-171, February 2003.
(Paper in PDF) Supersedes [C99a, C00a]

[C03e] Oblivious Signature-Based Envelope.
Ninghui Li, Wenliang Du, and Dan Boneh.
In Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003), pp. Boston, Massachusetts, July 2003. ACM Press, New York, New York, pp. 182--189.
(Paper in PDF)

[C03d] Understanding SPKI/SDSI Using First-Order Logic
Ninghui Li and John C. Mitchell.
In Proceedings of the 16th IEEE Computer Security Foundations Workshop, Pacific Grove, California, June 2003. IEEE Computer Society Press, Los Alamitos, California, pp. 89--103.
(Paper in PDF)

[C03c] Beyond Proof-of-compliance: Safety and Availability Analysis in Trust Management.
Ninghui Li, William H. Winsborough, and John C. Mitchell.
In Proceedings of 2003 IEEE Symposium on Security and Privacy, Berkeley, California, May 2003. IEEE Computer Society Press, Los Alamitos, California, pp. 123--139.
(Paper in PDF)

[C03b] RT: A Role-based Trust-management Framework.
Ninghui Li and John C. Mitchell.
In Proceedings of The Third DARPA Information Survivability Conference and Exposition (DISCEX III), Washington, D.C., April 2003. IEEE Computer Society Press, Los Alamitos, California, pp. 201--212.
(Paper in PDF)

[C03a] Datalog with Constraints: A Foundation for Trust-management Languages.
Ninghui Li and John C. Mitchell.
In Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages (PADL 2003), New Orleans, Louisiana, January 2003. LNCS 2562, Springer, Berlin, pp. 58--73.
(Paper in PDF)

[C02c] Protecting Sensitive Attributes in Automated Trust Negotiation.
William H. Winsborough and Ninghui Li.
To appear in Proceedings of ACM Workshop on Privacy in the Electronic Society, Washington, DC, November 2002. Proceedings to be published by ACM Press.
(Paper in PDF)
[C02b] Towards Practical Automated Trust Negotiation.
William H. Winsborough and Ninghui Li.
In Proceedings of the Third International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), Monterey, California, June 2002. IEEE Computer Society Press, Los Alamitos, California, pp. 92-103.
(Paper in PDF)

[C02a] Design of A Role-based Trust-management Framework.
Ninghui Li, John C. Mitchell, and William H. Winsborough.
In Proceedings of 2002 IEEE Symposium on Security and Privacy, Berkeley, California, May 2002. IEEE Computer Society Press, Los Alamitos, California, pp. 114-130.
(Paper in PDF) (Slides in PDF)

[C01b] Distributed Credential Chain Discovery in Trust Management (Extended Abstract).
Ninghui Li, William H. Winsborough, and John C. Mitchell.
In Proceedings of the 8th ACM Conference on Computer and Communications Security (CCS-8), Philadelphia, Pennsylvania, November 2001. ACM Press, New York, New York, pp. 156-165.
Superseded by [J2].

[C01a] Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation (Position Paper).
Ninghui Li and Joan Feigenbaum.
In Proceedings of the Fifth International Conference on Financial Cryptography (FC'01), Grand Cayman, BWI, February 2001. LNCS 2339, Springer, Berlin, 2002, pp. 166-177.
(Paper in PDF)

[C00b] Local Names In SPKI/SDSI.
Ninghui Li.
In Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW-13), Cambridge, UK, July 2000. IEEE Computer Society Press, Los Alamitos, California, pp. 2-15.
(Paper in PDF)

[C00a] A Practically Implementable and Tractable Delegation Logic.
Ninghui Li, Benjamin N. Grosof, and Joan Feigenbaum.
In Proceedings of the 2000 IEEE Symposium on Security and Privacy, Berkeley, California, May 2000. IEEE Computer Society Press, Los Alamitos, California, pp. 27-42.
Superseded by [J1 ].

[C99a] A Logic-Based Knowledge Representation for Authorization with Delegation (Extended Abstract).
Ninghui Li, Joan Feigenbaum, and Benjamin N. Grosof.
In Proceedings of the 12th IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy, June 1999. IEEE Computer Society Press, Los Alamitos, pp. 162-174. Full paper available as IBM Research Report RC21492.
Superseded by [J1].

[Thesis] Delegation Logic: A Logic-Based Approach to Distributed Authorization.
Ph.D. thesis, New York University, September 2000.
[RTML] RTML: A Role-based Trust-management Markup Language
Ninghui Li, John C. Mitchell, Yu Qiu, William H. Winsborough, Kent E. Seamons, Michael Halcrow, and Jared Jacobson
Unpublished manuscript.