Searching for "EON modeling and analyzing dynamic access control systems with logic programs." – 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.

EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs ABSTRACT
by Avik Chaudhuri, G. Ramalingam
…EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs ABSTRACT Avik…
Cited by 2 (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
… (Award paper, PLAS 2008) ◦ EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs…
Add To MetaCart

Showing 1 through 2.

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