Luigiego Logrippo

Luigi Logrippo jest profesorem informatyki na Université du Québec en Outaouais ( UQO). Jest głównym pracownikiem naukowym grupy LOTOS na Uniwersytecie w Ottawie . Obecnie luigi uczestniczy w LARSI.

Obszary badawcze

Metody formalne w zakresie bezpieczeństwa, prywatności i zarządzania, w tym:

  • Specyfikacja formalna, projekt formalny, walidacja, weryfikacja, testowanie
  • Bezpieczeństwo: bezpieczeństwo danych przedsiębiorstwa; Modele i metody kontroli dostępu
  • Zgodność z prawem, prywatność

Systemy normatywne:

  • Metody formalne w inżynierii oprogramowania telekomunikacyjnego:
  • Algebry procesowe, języki LOTOS i E-LOTOS
  • Problem z interakcją funkcji

Biografia

Logrippo urodził się we Włoszech , w 1961 roku otrzymał „laurea” prawa na Uniwersytecie Rzymskim . Do 1967 roku pracował w firmach Olivetti, Olivetti-Bull, General Electric i Siemens jako programista i analityk systemowy. Od 1967 do 1969 pracował jako pracownik naukowy w Instytucie Informatyki. Uzyskał tytuł magistra informatyki na Uniwersytecie Manitoba w 1969. Luigi uzyskał doktorat z informatyki na Uniwersytecie Waterloo w 1974. Od 1973 do 2002 pracowałem na Uniwersytecie w Ottawie, najpierw na Wydziale Informatyki, a następnie w Szkole Informatyki i Inżynierii (SITE ). Luigi był przewodniczącym Wydziału Informatyki w latach 1991-1997 oraz dyrektorem administracyjnym SITE w latach 1997/98. Miał urlopy naukowe w Bell Northern Research (który stał się Nortel), na Uniwersytecie Twente (Holandia) i na Uniwersytecie w Stirling (Szkocja).

Lorgippo przeszedł na emeryturę z Uniwersytetu w Ottawie i od 1 lipca 2002 roku jest obecnie profesorem na pobliskim Université du Québec en Outaouais, Département d'informatique et ingénierie.

Wybrane publikacje

  • Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo. Ramy oceny zagrożeń w systemach kontroli dostępu. Aby pojawić się w Proc. of SEC 2012, Międzynarodowa konferencja IFIP 2012 dotycząca bezpieczeństwa informacji i prywatności, Heraklion, 4–6 czerwca.
  • Bernard Stępień, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo. CatBAC: ogólne ramy projektowania i sprawdzania poprawności hybrydowych modeli kontroli dostępu. Aby pojawić się w Proc. SFCS 2012, Pierwsze międzynarodowe warsztaty IEEE na temat bezpieczeństwa i kryminalistyki w systemach komunikacyjnych, Ottawa, 10–15 czerwca 2012 r.
  • Yacine Bouzida, Luigi Logrippo, Siergiej Mańkowski. Konkretna i abstrakcyjna kontrola dostępu. Pojawić się w International Journal of Information Security, Springer. Ostateczna publikacja jest dostępna na stronie www.springerlink.com. Int. J. Inf. Zabezpiecz. DOI 10.1007/s10207-011-0138-1. Opublikowano w Internecie 14 lipca 2011 r.
  • Logrippo, L. Od e-biznesu do e-praw i e-sądów: 4000 lat doświadczenia. CYBERPRAWA 2011, Proc. II Międzynarodowej Konferencji na temat Technicznych i Prawnych Aspektów e-Społeczeństwa, Gwadelupa, luty 2011, 22-28.
  • Slimani, N., Khambhammettu, H., Adi, K., Logrippo, L. UACML: Ujednolicony język modelowania kontroli dostępu. W: Nowe technologie, mobilność i bezpieczeństwo (NTMS), 2011 IV Międzynarodowa Konferencja IFIP w lutym 2011, 1-8.
  • Ma, J., Logrippo, L., Adi, K., Mankovski, S. Analiza ryzyka w systemach kontroli dostępu oparta na teoriach zaufania. Trzecie warsztaty na temat logiki dla inteligentnych agentów i systemów wieloagentowych (WLIAMas 2010). Toronto, sierpień 2010, 415-418.
  • Shaikh, RA, Adi, K., Logrippo, L., Mankovski, S. Metoda wykrywania niespójności w zasadach kontroli dostępu. Szósta Międzynarodowa Konferencja IEEE na temat Zapewnienia i Bezpieczeństwa Informacji (IAS 2010), Atlanta, sierpień 2010, 204-209.
  • Ma, J., Adi, K., Mejri, M., Logrippo, L. Analiza ryzyka w systemach kontroli dostępu. Osiem stażystów. konf. w sprawie prywatności, bezpieczeństwa i zaufania (PST 2010). Ottawa, sierpień 2010, 160-166.
  • Shaikh, RA, Adi, K., Logrippo, L., Mankovski, S. Wykrywanie niekompletności w zasadach kontroli dostępu przy użyciu schematów klasyfikacji danych, w Proc. 5th International Conference on Digital Information Management (ICDIM 2010), Thunder Bay, Kanada, lipiec 2010, IEEE Press, 417-422.
  • Ma, J., Adi, K., Logrippo, L., Mankovski, S. Zarządzanie ryzykiem w dynamicznych systemach kontroli dostępu opartych na rolach. proc. 5th International Conference on Digital Information Management (ICDIM 2010), Thunder Bay, Kanada, lipiec 2010, IEEE Press, 423-430.
  • Plesa, R., Logrippo, L. Architektura oparta na agentach do świadczenia ulepszonych usług komunikacyjnych. Rozdział 15 w: Laurence T. Yang (red.) Research in Mobile Intelligence — seria Wiley dotycząca obliczeń równoległych i rozproszonych, 2010. 320-342.
  • Hassan, W., Logrippo, L. Model ekstrakcji wymagań ładu korporacyjnego w celu weryfikacji zgodności z prawem. w Proc. IEEE 17. Międzynarodowa Konferencja Inżynierii Wymagań (RE'09): Warsztaty RELAW. Atlanta, GA. wrzesień 2009, 7-12.
  • Adi, K., Bouzida, Y., Hattak, I., Logrippo, L., Mankovskii, S. Typing for Conflict Detection in Access Control Policies. W: G. Babin, P. Kropf, M. Weiss (red.): E-Technologies: Innovation in an Open World. proc. z IV stażu. konf. MCETECH 2009 (Ottawa, maj 2009), Notatki z wykładów w zakresie przetwarzania informacji biznesowych (LNBIP 26), Springer, 2009, 212-226.
  • Hassan, W. i Logrippo, L. Wymagania i zgodność w systemach prawnych: podejście logiczne. w Proc. IEEE 16. Międzynarodowa Konferencja Inżynierii Wymagań (RE'08): Warsztaty RELAW. Barcelona, ​​Hiszpania. wrzesień 2008, 40-44.
  • Logrippo, L. Systemy normatywne: miejsce spotkania orzecznictwa i technologii informacyjnej? W: H. Fujita, D. Pisanelli (red.): Nowe trendy w metodologiach, narzędziach i technikach oprogramowania - Proc. 6 SoMeT_07. IOS Press, 2007, 343-354.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Luigi_Logrippo&oldid=1122908624 ”