|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre |
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.  |
STAIRS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi |
Variations in Access Control Logic. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry |
Test-Driven Assessment of Access Control in Legacy Applications. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tine Verhanneman, Frank Piessens, Bart De Win, Eddy Truyen, Wouter Joosen |
A Modular Access Control Service for Supporting Application-Specific Policies. |
IEEE Distributed Systems Online |
2006 |
DBLP DOI BibTeX RDF |
security, access control, aspect-oriented programming, design tools |
| 1 | Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin |
A Modal Logic for Role-Based Access Control. |
MMM-ACNS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka, Xiaoyang Sean Wang |
Trust but verify: authorization for web services. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
access control logic, web services, distributed authorization |
| 1 | Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin |
Logical Resolving for Security Evaluation. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
safety problem resolving, secure state, access control, language, logic, resolution, security model, security evaluation |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")