|
[14]
|
B. Lei, Z. Liu, C. Morisset, and X. Li.
State based robustness testing for components.
In Formal Aspects of Component Software, Electr. Notes in
Theor. Comp. Sci. Elsevier, September 2008.
To be published.
[ bib ]
|
|
[13]
|
M. Jaume and C. Morisset.
Un cadre sémantique pour le contrôle d'accès.
Technique et Science Informatiques (TSI), 2008.
to appear.
[ bib ]
|
|
[12]
|
L. Habib, M. Jaume, and C. Morisset.
A formal comparison of the Bell & LaPadula and RBAC models.
In The Fourth International Conference on Information Assurance
and Security. IEEE CS Press, 2008.
to appear.
[ bib |
.pdf ]
|
|
[11]
|
P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib,
T. Hardin, M. Jaume, C. Morisset, F. Pessaux, R. Rioboo, and P. Weis.
Secure Software within Focal.
In Computer & Electronics Security Applications Rendez-vous,
2008.
to appear.
[ bib ]
|
|
[10]
|
Z. Liu, C. Morisset, and V. Stolz.
A component-based access control monitor.
In International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation, volume 17 of Communications in
Computer and Information Science. Springer, 2008.
To be published.
[ bib ]
|
|
[9]
|
J. Blond and C. Morisset.
Un moniteur de référence sûr d'une base de données.
Technique et Science Informatiques (TSI), 26(9):1091-1110,
2007.
[ bib |
.pdf ]
|
|
[8]
|
C. Morisset and A. S. de Oliveira.
Automated detection of information leakage in access control.
In Workshop on Security and Rewriting Techniques
(SecReT'07), 2007.
[ bib ]
|
|
[7]
|
M. Jaume and C. Morisset.
Contrôler le contrôle d'accès.
In AFADL'07, Approches Formelles dans l'Assistance au
Développement de Logiciels, Namur, Belgique, 2007.
[ bib |
.ps ]
|
|
[6]
|
C. Morisset.
Sémantique des systèmes de contrôle d'accès.
PhD thesis, Université Pierre et Marie Curie - Paris 6, 2007.
[ bib |
.pdf ]
|
|
[5]
|
T. Hardin, M. Jaume, and C. Morisset.
Access control and rewrite systems.
In Proceedings of the 1st International Workshop on
Security and Rewriting Techniques (SecReT'06), Venice, Italy, July
2006.
[ bib |
.ps ]
|
|
[4]
|
M. Jaume and C. Morisset.
A formal approach to implement access control.
Journal of Information Assurance and Security, 2:137-148, June
2006.
[ bib |
.pdf ]
|
|
[3]
|
M. Jaume and C. Morisset.
Towards a formal specification of access control.
In Proceedings of the LICS-Affiliated Workshop on Foundations
of Computer Security and Automated Reasoning for Security Protocol Analysis,
2006.
[ bib |
.pdf ]
|
|
[2]
|
J. Blond and C. Morisset.
Formalisation et implantation d'une politique de sécurité d'une
base de données.
In T. Hardin and P. Moreau, editors, Journées Francophones des
Langages Applicatifs (JFLA). INRIA, Janvier 2006.
[ bib |
.ps ]
|
|
[1]
|
M. Jaume and C. Morisset.
Formalisation and implementation of access control models.
In Information Assurance and Security (IAS'05) International
Conference on Information Technology, ITCC, pages 703-708. IEEE CS
Press, 2005.
[ bib |
.ps ]
|