Searching for "PCAL Language Support for Proof-Carrying Authorization Systems." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

PCAL: Language support for proof-carrying authorization systems
by Avik Chaudhuri, Deepak Garg — In European Symposium on Research in Computer Security
…PCAL: Language Support for Proof-Carrying Authorization Systems Avik Chaudhuri 1 and Deepak Garg 2…
Cited by 1 (1 self) – Add To MetaCart

◦ Student Intern (Summer 2002)
by Avik Chaudhuri, Links To Papers, Advisor Martín Abadi, Mentor Sriram Rajamani, Mentor Sethu Ramesh, Projet Cristal, Mentor Gérard Huet
… ◦ PCAL: Language Support for Proof-Carrying Authorization Systems Avik Chaudhuri and Deepak Garg European…
Add To MetaCart

Showing 1 through 2.

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