Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Organograma
Organisation
Orientadores
Serviços Administrativos
IT Service
Conselho
Conselho do Laboratório
Conselho
Teaching
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Projetos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relatório Anual
Avaliação
Our skills
Works with us
Software
Patentes
Start-ups
Empregos
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
-
Computer Science Laboratory
Anuário
BLOND Julien
Doutorando at Sorbonne University
Team :
SPI
Direção de pesquisa
: Thérèse HARDIN
Co-supervisão£o
: RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Defesas
: 30/11/2010
Data de partida : 30/11/2010
Publicações 2006-2010
Toutes
Responsável da Comunicação
Tese
2010
J. Blond
: “
Outil pour implémentation de logiciels certifiables EAL7
”, tese, defesas 30/11/2010, direção de pesquisa Hardin, Thérèse, co-supervisão£o : Rioboo, Renaud (2010)
2006
J. Blond, Ch. Morisset
: “
Formalisation et implantation d’une politique de sécurité d’une base de données
”, Journées Francophones des Langages Applicatifs (JFLA), Pauillac, France, pp. 71-86, (INRIA) (2006)