Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SEC
/
Paper
Automating Access Control Logics in Simple Type Theory with LEO-II.
Christoph Benzmller
Venue
Unranked
SEC
Year
2009
Proceedings
SEC
DBLP record
conf/sec/Benzmuller09 ↗
Browse the full
SEC paper archive
.