|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jeffrey A. Vaughan, Stephen Chong |
Inference of Expressive Declassification Policies.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
declassification policies, inference of security policies, information flow, language-based security |
| 1 | Jeffrey A. Vaughan |
AuraConf: a unified approach to authorization and confidentiality. |
TLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Christian Skalka, Jeffrey A. Vaughan |
Self-identifying sensor data. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
self-identifying data, provenance |
| 1 | Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic |
Evidence-Based Audit. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Access control, Logic, Audit, Computer Languages |
| 1 | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
| 1 | Jeffrey A. Vaughan, Steve Zdancewic |
A Cryptographic Decentralized Label Model. |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan |
Relational lenses: a language for updatable views. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
view update, lenses |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")