Show Menu
Hide Menu
Исследовательская лаборатория по информатике
От директора
Структура управления
Структура
Дирекция
Административная служба
IT Service
Совет по науке
Совет лаборатории
Совет по науке
Teaching
Как нас найти
Поиск
Axes & Teams
Публикации
Проекты
ERC Projects
European Projects
France 2030
Joint Laboratories
ANR Projects
Годовой отчет
Оценка
Our skills
Works with us
Software
Патенты
Start-ups
Работа
Справочник
коллоквиум
🔒
📫
🇷🇺
🇫🇷
🇬🇧
🇷🇺
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
Справочник
BLOND Julien
Аспирант at Sorbonne University
Подразделение :
SPI
Научны(е)й руководител(и)ь
: Thérèse HARDIN
Со-руководитель
: RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Защита диссертаций
: 30.11.2010
Окончание контракта : 30.11.2010
Публикации 2006-2010
All
Информационная поддержка
Диссертация
2010
J. Blond
: “
Outil pour implémentation de logiciels certifiables EAL7
”, диссертация, Защита диссертаций 30.11.2010, Научны(е)й руководител(и)ь Hardin, Thérèse, Со-руководитель : 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)