Луиджи Логриппо

Луиджи Логриппо — профессор компьютерных наук Университета Квебека в Отауае (UQO). Он является главным исследователем группы LOTOS в Университете Оттавы . В настоящее время Луиджи участвует в LARSI .

Области исследований

Формальные методы обеспечения безопасности, конфиденциальности и управления, включая:

• Формальная спецификация, формальный проект, валидация, верификация, тестирование
• Безопасность: безопасность корпоративных данных; Модели и методы контроля доступа
• Юридическое соответствие, конфиденциальность

Нормативные системы:

• Формальные методы в разработке телекоммуникационного программного обеспечения:
• Алгебры процессов, языки LOTOS и E-LOTOS
• Проблема взаимодействия функций

Биография

Логриппо родился в Италии , получил степень бакалавра права в Римском университете в 1961 году. До 1967 года он работал в компаниях Olivetti, Olivetti-Bull, General Electric и Siemens в качестве программиста и системного аналитика. С 1967 по 1969 год работал научным сотрудником в Институте компьютерных исследований. Он получил степень магистра компьютерных наук в Университете Манитобы в 1969 году. Луиджи получил степень доктора компьютерных наук в Университете Ватерлоо в 1974 году. С 1973 по 2002 год я работал в Университете Оттавы, сначала на факультете компьютерных наук и компьютерных наук. затем в Школе информационных технологий и инженерии (SITE). Луиджи был заведующим кафедрой компьютерных наук с 1991 по 1997 год и административным директором SITE в 1997/98 году. У него был творческий отпуск в Bell Northern Research (которая стала Nortel), в Университете Твенте (Нидерланды) и в Университете Стерлинга (Шотландия).

Лоргиппо ушел из Университета Оттавы и с 1 июля 2002 года в настоящее время является профессором кафедры компьютерных наук и инженерии соседнего Университета Квебека в Оттаве.

Избранные публикации

• Хемант Хамбхамметту, Софиен Буларес, Камель Ади, Луиджи Логриппо. Структура оценки угроз в системах контроля доступа. Чтобы появиться в Proc. SEC 2012, Международная конференция IFIP 2012 по информационной безопасности и конфиденциальности, Ираклион, 4–6 июня.
• Бернард Степьен, Хемант Хамбхамметту, Камель Ади, Луиджи Логриппо. CatBAC: общая структура для разработки и проверки моделей гибридного контроля доступа. Чтобы появиться в Proc. SFCS 2012, Первый международный семинар IEEE по безопасности и криминалистике в системах связи, Оттава, 10–15 июня 2012 г.
• Ясин Бузида, Луиджи Логриппо, Сергей Маньковский. Конкретный и абстрактный контроль доступа. Публикация в Международном журнале информационной безопасности Springer. Окончательная публикация доступна на сайте www.springerlink.com. Межд. Ж. Инф. Безопасность. ДОИ 10.1007/с10207-011-0138-1. Опубликовано в Интернете 14 июля 2011 г.
• Логриппо, Л. От электронного бизнеса к электронным законам и электронным судебным решениям: 4000 лет опыта. КИБЕРЗАКОНОДАТЕЛЬСТВО 2011, Учеб. Второй международной конференции по техническим и правовым аспектам электронного общества, Гваделупа, февраль 2011 г., 22–28.
• Слимани Н., Хамбхамметту Х., Ади К., Логриппо Л. UACML: язык моделирования унифицированного контроля доступа. В: Новые технологии, мобильность и безопасность (NTMS), 2011 г., 4-я Международная конференция ИФИП, февраль 2011 г., 1–8.
• Ма Дж., Логриппо Л., Ади К., Манковски С. Анализ рисков в системах контроля доступа на основе теорий доверия. 3-й семинар по логике интеллектуальных агентов и мультиагентных систем (WLIAMas 2010). Торонто, август 2010 г., 415–418.
• Шейх Р.А., Ади К., Логриппо Л., Манковски С. Метод обнаружения несоответствий для политик контроля доступа. Шестая международная конференция IEEE по обеспечению информационной безопасности и безопасности (IAS 2010), Атланта, август 2010 г., 204–209.
• Ма Дж., Ади К., Межри М., Логриппо Л. Анализ рисков в системах контроля доступа. Восемь стажеров. Конф. о конфиденциальности, безопасности и доверии (PST 2010). Оттава, август 2010 г., 160–166.
• Шейх Р.А., Ади К., Логриппо Л., Манковски С. Обнаружение неполноты в политиках контроля доступа с использованием схем классификации данных, В сб. 5-й Международной конференции по управлению цифровой информацией (ICDIM 2010), Тандер-Бей, Канада, июль 2010 г., IEEE Press, 417-422.
• Ма Дж., Ади К., Логриппо Л., Манковски С. Управление рисками в динамических ролевых системах контроля доступа. Учеб. 5-й Международной конференции по управлению цифровой информацией (ICDIM 2010), Тандер-Бей, Канада, июль 2010 г., IEEE Press, 423-430.
• Плеса Р., Логриппо Л. Агентная архитектура для предоставления расширенных коммуникационных услуг. Глава 15 в: Лоуренс Т. Янг (ред.) Исследования в области мобильного интеллекта – серия Wiley о параллельных и распределенных вычислениях, 2010. 320–342.
• Хасан В., Логриппо Л. Модель извлечения требований к управлению для проверки соблюдения законодательства. В Proc. 17-я Международная конференция по разработке требований IEEE (RE'09): Семинар RELAW. Атланта, Джорджия. Сентябрь 2009 г., 7–12.
• Ади К., Бузида Ю., Хаттак И., Логриппо Л., Манковский С. Типизация для обнаружения конфликтов в политиках контроля доступа. В: Г. Бабин, П. Кропф, М. Вайс (ред.): Электронные технологии: инновации в открытом мире. Учеб. 4-го интерна. Конф. MCETECH 2009 (Оттава, май 2009 г.), Конспекты лекций по обработке бизнес-информации (LNBIP 26), Springer, 2009, 212–226.
• Хасан В. и Логриппо Л. Требования и соблюдение правовых систем: логический подход. В Proc. 16-я Международная конференция по разработке требований IEEE (RE'08): Семинар RELAW. Барселона, Испания. Сентябрь 2008 г., 40–44.
• Логриппо, Л. Нормативные системы: место встречи юриспруденции и информационных технологий? В: Х. Фудзита, Д. Пизанелли (ред.): Новые тенденции в методологиях, инструментах и ​​методах программного обеспечения – Proc. 6-го СоМеТ_07. ИОС Пресс, 2007, 343-354.

Внешние ссылки

• Луиджи Логриппо Домашняя страница UofO
• Луиджи Логриппо Веб-сайт UQO
• Луиджи Логриппо на DBLP библиографическом сервере