|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel J. Dougherty, Santiago Escobar 0001 (eds.) |
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008  |
SecReT@LICS/CSF  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Clara Bertolissi, Maribel Fernández |
Action Control by Term Rewriting. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab AlTurki, José Meseguer 0001, Carl A. Gunter |
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Millen |
Rewriting Techniques in the Constraint Solver. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell, Arnab Roy 0001, Mukund Sundararajan |
An Automated Approach for Proving PCL Invariants. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira |
Analysis of Rewrite-Based Access Control Policies. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira |
Rewrite Based Specification of Access Control Policies. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Santiago Escobar 0001 |
Preface. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license