Sciweavers

196 search results - page 40 / 40
» Extended Static Checking for Java
Sort
View
TCS
2008
13 years 5 months ago
Role-based access control for boxed ambients
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bi...