Searching for "Understanding SPKI/SDSI using first-order logic." – sorted by Relevance.
-
Understanding SPKI/SDSI using first-order logic
- 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
- , 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
- , Massachusetts, July 2003. * Ninghui Li and John C. Mitchell. Understanding SPKI/SDSI using first-order logic
- Add To MetaCart

