MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Understanding SPKI/SDSI using first-order logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Understanding SPKI/SDSI using first-order logic
by Ninghui Li, John C. Mitchell — 2003 — International Journal of Information Security
…Understanding SPKI/SDSI Using First-Order Logic Ninghui Li John C. Mitchell Department of Computer…
Cited by 18 (0 self) – Add To MetaCart

Employment History
by Gates B, Ninghui Li, Advisor Joan Feigenbaum, Advisor Zhongzhi Shi — 1992
…, Massachusetts, July 2003. • Ninghui Li and John C. Mitchell. Understanding SPKI/SDSI using first-order logic…
Add To MetaCart

* Ph.D. in Computer Science September 2000Dissertation: Delegation Logic: A Logic-based Approach
by Supervisor John, C. Mitchell — 1999
…, Massachusetts, July 2003. * Ninghui Li and John C. Mitchell. Understanding SPKI/SDSI using first-order logic…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB