|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 25 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely |
Types for relaxed memory models.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Gustavo Petri, James Riely |
Brookes Is Relaxed, Almost! |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely |
Local Memory via Layout Randomization. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
memory layout randomization, deterministic allocation, probability, control, full abstraction, higher-order |
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Generative Operational Semantics for Relaxed Memory Models. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open Bisimulation for Aspects. |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cirillo, James Riely |
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Towards a Theory of Accountability and Audit. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
| 1 | Peter Hui, James Riely |
Typing for a minimal aspect language: preliminary report. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Do As I SaY! Programmatic Access Control with Explicit Identities. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Zhang 0007, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher |
Specifications of a high-level conflict-free firewall policy language for multi-domain networks. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
firewall, policy language, conflicts free |
| 1 | Andrew Cirillo, James Riely |
Access Control Based on Code Identity for Open Distributed Systems. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic |
| 1 | Radha Jagadeesan, Alan Jeffrey, James Riely |
Typed parametric polymorphism for aspects. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
lambda-RBAC: Programming with Role-Based Access Control. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corin Pitcher, James Riely |
Dynamic Policy Discovery with Remote Attestation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation |
| 1 | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
µABC: A Minimal Aspect Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
partial typing, trust, type safety |
| 1 | Radha Jagadeesan, Alan Jeffrey, James Riely |
A Calculus of Untyped Aspect-Oriented Programs. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Resource Access Control in Systems of Mobile Agents. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Information flow vs. resource access in the asynchronous pi-calculus. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference |
| 1 | James Riely, Matthew Hennessy |
Distributed processes and location failures. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Jan Prins |
Flattening Is an Improvement. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Type-Safe Execution of Mobile Agents in Anonymous Networks. |
Secure Internet Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Resource Access Control in Systems of Mobile Agents. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Type-Safe Execution of Mobile Agents in Anonymous Networks. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
A Typed Language for Distributed Mobile Processes (Extended Abstract). |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Distributed Processes and Location Failures (Extended Abstract). |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, James Riely |
Testing-Based Abstractions for Value-Passing Systems. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")