|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jason Crampton, Charles Morisset |
Towards A Generic Formal Framework for Access Control Systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo |
Risk-based security decisions under uncertainty. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Charles Morisset |
Quantitative access control with partially-observable Markov decision processes. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Crampton, Charles Morisset |
PTaCL: A Language for Attribute-Based Access Control in Open Systems. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang |
A Framework for Automated and Certified Refinement Steps |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jason Crampton, Charles Morisset |
PTaCL: A Language for Attribute-Based Access Control in Open Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin |
Risk-Based Auto-delegation for Probabilistic Availability. |
DPM/SETOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz |
Robustness testing for software components. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li |
State Based Robustness Testing for Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Crampton, Charles Morisset |
An Auto-delegation Mechanism for Access Control Systems. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Shuling Wang |
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
| 1 | Zhiming Liu, Charles Morisset, Volker Stolz |
rCOS: Theory and Tool for Component-Based Model Driven Development. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Charles Morisset, Volker Stolz |
Specification and Validation of Behavioural Protocols in the rCOS Modeler. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Jaume, Charles Morisset |
Un cadre sémantique pour le contrôle d'accès. |
Technique et Science Informatiques |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lionel Habib, Mathieu Jaume, Charles Morisset |
A Formal Comparison of the Bell & LaPadula and RBAC Models. |
IAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Volker Stolz |
A Component-Based Access Control Monitor. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Component, Composition, RBAC |
| 1 | Julien Blond, Charles Morisset |
Un moniteur de référence sr d'une base de données. |
Technique et Science Informatiques |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mathieu Jaume, Charles Morisset |
Formalisation and implementation of Access control models. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")