Luigi Logrippo - Luigi Logrippo - Wikipedia

Luigi Logrippo je Profesor z Počítačová věda na Université du Québec en Outaouais (UQO). Je hlavním výzkumným pracovníkem skupiny LOTOS na University of Ottawa. V současné době se luigi účastní LARSI.

Oblasti výzkumu

Formální metody v oblasti bezpečnosti, soukromí a správy věcí veřejných, včetně:

  • Formální specifikace, formální návrh, validace, ověření, testování
  • Zabezpečení: Zabezpečení podnikových dat; Modely a metody řízení přístupu
  • Soulad s právními předpisy, soukromí

Normativní systémy:

  • Formální metody v telekomunikačním softwarovém inženýrství:
  • Zpracovávejte algebry, jazyky LOTOS a E-LOTOS
  • Problém interakce s vlastnostmi

Životopis

Logrippo se narodil v Itálie, obdržel „laureu“ v zákon z University of Rome v roce 1961. Do roku 1967 pracoval ve společnostech Olivetti, Olivetti-Bull, General Electric a Siemens jako programátor a systémový analytik. V letech 1967 až 1969 pracoval jako vědecký pracovník na Ústavu počítačových studií. Získal titul MSc v oboru počítačových věd University of Manitoba v roce 1969. Luigi získal doktorát z informatiky na University of Waterloo v roce 1974. Od roku 1973 do roku 2002 jsem pracoval na University of Ottawa, nejprve na katedře informatiky a poté na School of Information Technology and Engineering (SITE) ). Luigi byl předsedou oddělení informatiky v letech 1991 až 1997 a administrativním ředitelem SITE v letech 1997/98. Měl volna na Bell Northern Research (který se stal Nortel), na University of Twente (NL) a na University of Stirling (Skotsko).

Lorgippo odešel z University of Ottawa a od 1. července 2002 je v současné době profesorem na nedaleké Université du Québec en Outaouais, Département d'informatique et ingénierie.

Vybrané publikace

  • Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo. Rámec pro hodnocení hrozeb v systémech kontroly přístupu. Objevit se v Proc. SEK 2012, Mezinárodní konference o bezpečnosti a ochraně osobních údajů IFIP 2012, Heraklion, 4. – 6. června.
  • Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo. CatBAC: Obecný rámec pro navrhování a ověřování modelů hybridního řízení přístupu. Objevit se v Proc. of SFCS 2012, the First IEEE International Workshop on Security and Forensics in Communication Systems, Ottawa, June 10–15, 2012
  • Yacine Bouzida, Luigi Logrippo, Sergei Mankovski. Konkrétní a abstraktní řízení přístupu. Objevit se v International Journal of Information Security, Springer. Konečná publikace je k dispozici na www.springerlink.com. Int. J. Inf. Secur. DOI 10.1007 / s10207-011-0138-1. Publikováno online 14. července 2011.
  • Logrippo, L. Od elektronického obchodu k elektronickým zákonům a elektronickým soudům: 4000 let zkušeností. CYBERLAWS 2011, Proc. druhé mezinárodní konference o technických a právních aspektech e-společnosti, Guadeloupe, únor 2011, 22-28.
  • Slimani, N., Khambhammettu, H., Adi, K., Logrippo, L. UACML: Unified Access Control Modeling Language. In: New Technologies, Mobility and Security (NTMS), 2011 4th IFIP International Conference in February 2011, 1-8.
  • Ma, J., Logrippo, L., Adi, K., Mankovski, S. Analýza rizik v systémech řízení přístupu na základě teorií důvěry. 3. workshop o logice pro inteligentní agenty a multiagentní systémy (WLIAMas 2010). Toronto, srpen 2010, 415-418.
  • Shaikh, R.A., Adi, K., Logrippo, L., Mankovski, S.Inconsistency Detection Method for Access Control Policies. Šestá mezinárodní konference IEEE o zabezpečení informací a bezpečnosti (IAS 2010), Atlanta, srpen 2010, 204-209.
  • Ma, J., Adi, K., Mejri, M., Logrippo, L. Analýza rizik v systémech řízení přístupu. Osm Intern. Konf. o ochraně osobních údajů, zabezpečení a důvěře (PST 2010). Ottawa, srpen 2010, 160-166.
  • Shaikh, R.A., Adi, K., Logrippo, L., Mankovski, S. Detection Incompleteness in Access Control Policies using Data Classification Schemes, In Proc. 5. mezinárodní konference o správě digitálních informací (ICDIM 2010), Thunder Bay, Kanada, červenec 2010, IEEE Press, 417-422.
  • Ma, J., Adi, K., Logrippo, L., Mankovski, S. Řízení rizik v systémech řízení přístupu založených na dynamických rolích. Proc. 5. mezinárodní konference o správě digitálních informací (ICDIM 2010), Thunder Bay, Kanada, červenec 2010, IEEE Press, 423-430.
  • Plesa, R., Logrippo, L. Architektura založená na agentech pro poskytování vylepšených komunikačních služeb. Kapitola 15 in: Laurence T. Yang (Ed.) Research in Mobile Intelligence - Wiley series on Parallel and Distributed Computing, 2010. 320-342.
  • Hassan, W., Logrippo, L. A Extrakční model požadavků na správu pro ověření souladu s právními předpisy. V Proc. 17. mezinárodní konference IEEE Engineering Requirements Engineering Conference (RE'09): Workshop RELAW. Atlanta, GA. Září 2009, 7-12.
  • Adi, K., Bouzida, Y., Hattak, I., Logrippo, L., Mankovskii, S. Typing for Conflict Detection in Access Control Policies. In: G. Babin, P. Kropf, M. Weiss (Eds.): E-Technologies: Innovation in an Open World. Proc. 4. Intern. Konf. MCETECH 2009 (Ottawa, květen 2009), Lecture Notes in Business Information Processing (LNBIP 26), Springer, 2009, 212-226.
  • Hassan, W. a Logrippo, L. Požadavky a dodržování právních systémů: logický přístup. V Proc. 16. mezinárodní konference IEEE Requirements Engineering Conference (RE'08): RELAW Workshop. Barcelona, ​​Španělsko. Září 2008, 40-44.
  • Logrippo, L. Normativní systémy: místo setkání mezi jurisprudencí a informačními technologiemi? In: H. Fujita, D. Pisanelli (Eds.): New Trends in Software Methodologies, Tools and Techniques - Proc. 6. SoMeT_07. IOS Press, 2007, 343-354.

Reference

externí odkazy