|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick McDaniel |
A logical specification and analysis for SELinux MLS policy.  |
ACM Trans. Inf. Syst. Secur.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boniface Hicks, Sandra Rueda, Dave King 0002, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick McDaniel, Trent Jaeger |
An architecture for enforcing end-to-end access control over web applications. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
policy compliance, access control |
| 1 | Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick McDaniel |
Noninvasive Methods for Host Certification. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
network security, Certification, malware, assurance |
| 1 | Dave King 0002, Boniface Hicks, Michael Hicks, Trent Jaeger |
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. |
ICISS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boniface Hicks, Dave King 0002, Patrick McDaniel |
Jifclipse: development tools for security-typed languages. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
Jif, security-typed languages, Eclipse, developer tools |
| 1 | Boniface Hicks, Sandra Rueda, Trent Jaeger, Patrick Drew McDaniel |
From Trusted to Secure: Building and Executing Applications That Enforce System Security. |
USENIX Annual Technical Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boniface Hicks, Tim Misiak, Patrick McDaniel |
Channels: Runtime System Infrastructure for Security-Typed Languages. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel |
A logical specification and analysis for SELinux MLS policy. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
policy compliance, SELinux, policy analysis, multi-level security |
| 1 | Boniface Hicks, Dave King 0002, Patrick McDaniel, Michael Hicks |
Trusted declassification: : high-level policy for a security-typed language. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification |
| 1 | Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel |
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick McDaniel |
Non-Invasive Methods for Host Certification. |
SecureComm |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")