Luigi Logrippo

ORCID

Publication Activity (10 Years)

Years Active: 1969-2024
Publications (10 Years): 16

Top Venues

Publications

Luigi Logrippo
The order-theoretical foundation for data flow security. CoRR (2024)
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Model-checking legal contracts with SymboleoPC. MoDELS (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21 (6) (2022)
Luigi Logrippo
Multi-level models for data security in networks and in the Internet of things. J. Inf. Secur. Appl. 58 (2021)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Requirements Models for Services. Next-Gen Digital Services (2021)
Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Symboleo: Towards a Specification Language for Legal Contracts. RE (2020)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER (2020)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Dependence Relationships in Requirements Engineering. iStar (2020)
Abdelouadoud Stambouli, Luigi Logrippo
Data flow analysis from capability lists, with application to RBAC. Inf. Process. Lett. 141 (2019)
Luigi Logrippo, Abdelouadoud Stambouli
Configuring Data Flows in the Internet of Things for Security and Privacy Requirements. FPS (2018)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Insider Threat Likelihood Assessment for Flexible Access Control. MCETECH (2017)
Luigi Logrippo
Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy. FPS (2017)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. Int. J. Inf. Sec. 16 (1) (2017)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. FPS (2016)
Sofiene Boulares, Kamel Adi, Luigi Logrippo
Information Flow-Based Security Levels Assessment for Access Control Systems. MCETECH (2015)
Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo
Metamodelling with Formal Semantics with Application to Access Control Specification. MODELSWARD (2015)
Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo
A Metamodel for Hybrid Access Control Policies. J. Softw. 10 (7) (2015)
Omar Abahmane, Luigi Logrippo
Granularity based flow control. PST (2014)
Luigi Logrippo
Logical Method for Reasoning About Access Control and Data Flow Control Models. FPS (2014)
Salim Khamadja, Kamel Adi, Luigi Logrippo
Designing flexible access control models for the cloud. SIN (2013)
Waël Hassan, Luigi Logrippo
Towards a process for legally compliant software. RELAW (2013)
Salim Khamadja, Kamel Adi, Luigi Logrippo
An access control framework for hybrid policies. SIN (2013)
Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
A framework for risk assessment in access control systems. Comput. Secur. 39 (2013)
Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
CatBAC: A generic framework for designing and validating hybrid access control models. ICC (2012)
Muyiwa Olurin, Carlisle Adams, Luigi Logrippo
Platform for privacy preferences (P3P): Current status and future directions. PST (2012)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
Dynamic risk-based decision methods for access control systems. Comput. Secur. 31 (4) (2012)
Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
A Framework for Threat Assessment in Access Control Systems. SEC (2012)
Yacine Bouzida, Luigi Logrippo, Serge Mankovski
Concrete- and abstract-based access control. Int. J. Inf. Sec. 10 (4) (2011)
Nadera Slimani, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
UACML: Unified Access Control Modeling Language. NTMS (2011)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Risk-based decision method for access control systems. PST (2011)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Inconsistency detection method for access control policies. IAS (2010)
Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski
Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops (2010)
Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
Risk analysis in access control systems. PST (2010)
Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski
Risk management in dynamic role based access control systems. ICDIM (2010)
Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
Secrecy UML Method for Model Transformations. ASM (2010)
Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
Detecting incompleteness in access control policies using data classification schemes. ICDIM (2010)
Waël Hassan, Luigi Logrippo
Interactions among secrecy models - (Work-in-progress paper). ICFI (2009)
Waël Hassan, Luigi Logrippo
Governance Requirements Extraction Model for Legal Compliance Validation. RELAW (2009)
Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski
Typing for Conflict Detection in Access Control Policies. MCETECH (2009)
Waël Hassan, Luigi Logrippo
Requirements and compliance in legal systems: a logic approach. RELAW (2008)
Romelia Plesa, Luigi Logrippo
An Agent-Based Architecture for Context-Aware Communication. AINA Workshops (2) (2007)
Luigi Logrippo
Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. SoMeT (2007)
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner
Conflict Detection in Call Control Using First-Order Logic Model Checking. ICFI (2007)
Rui Gustavo Crespo, Miguel Carvalho, Luigi Logrippo
Distributed resolution of feature interactions for internet applications. Comput. Networks 51 (2) (2007)
Yiqun Xu, Luigi Logrippo, Jacques Sincennes
Detecting feature interactions in CPL. J. Netw. Comput. Appl. 30 (2) (2007)
Nicolas Gorse, Luigi Logrippo, Jacques Sincennes
Detecting feature interaction in CPL. Softw. Syst. Model. 5 (2) (2006)
Kamel Adi, Daniel Amyot, Luigi Logrippo
Foreword - New technologies in distributed systems. Ann. des Télécommunications 61 (11-12) (2006)
Dongmei Jiang, Ramiro Liscano, Luigi Logrippo
Personalization of internet telephony services for presence with SIP and extended CPL. Comput. Commun. 29 (18) (2006)
Nicolas Gorse, Luigi Logrippo, Jacques Sincennes
Formal detection of feature interactions with logic programming and LOTOS. Softw. Syst. Model. 5 (2) (2006)
Waël Hassan, Luigi Logrippo
Governance Policies for Privacy Access Control and their Interactions. FIW (2005)
Daniel Amyot, Tom Gray, Ramiro Liscano, Luigi Logrippo, Jacques Sincennes
Interactive conflict detection and resolution for personalized features. J. Commun. Networks 7 (3) (2005)
Daniel Amyot, Luigi Logrippo, Michael Weiss
Generation of test purposes from Use Case Maps. Comput. Networks 49 (5) (2005)
Petre Dini, Alexander Clemm, Tom Gray, Fuchun Joseph Lin, Luigi Logrippo, Stephan Reiff-Marganiec
Policy-enabled mechanisms for feature interactions: reality, expectations, challenges. Comput. Networks 45 (5) (2004)
Daniel Amyot, Luigi Logrippo
Directions in feature interaction research. Comput. Networks 45 (5) (2004)
Bernard Stepien, Luigi Logrippo
Graphic visualization and animation of LOTOS execution traces. Comput. Networks 40 (5) (2002)
Rui Gustavo Crespo, Luigi Logrippo, Tom Gray
Feature Execution Trees and Interactions. PDPTA (2002)
Xiao Jun Chen, Luigi Logrippo
Deriving use cases for distributed systems from knowledge requirements. Ann. des Télécommunications 55 (1-2) (2000)
Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. FIW (2000)
Daniel Amyot, Luigi Logrippo
Structural Coverage For LOTOS - a Probe Insertion Technique. TestCom (2000)
Luigi Logrippo
Immaturity and Potential of Formal Methods: A Personal View. FIW (2000)
Luigi Logrippo, John Visser
Future wireless networks. Comput. Networks 34 (5) (2000)
Brahim Ghribi, Luigi Logrippo
Understanding GPRS: the GSM packet radio service. Comput. Networks 34 (5) (2000)
Q. Fu, P. Harnois, Luigi Logrippo, Jacques Sincennes
Feature interaction detection: a LOTOS-based approach. Comput. Networks 32 (4) (2000)
Daniel Amyot, Luigi Logrippo
for the prototyping and validation of a mobile group call system. Comput. Commun. 23 (12) (2000)
Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo
Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW (2000)
Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray
Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE (1999)
Petre Dini, Luigi Logrippo
Feature Interactions in Telecommunications Software. Comput. Networks 30 (14) (1998)
Randall Tuok, Luigi Logrippo
Formal Spacification and Use Case Generation for a Mobile Telephony System. Comput. Networks 30 (11) (1998)
Jalel Kamoun, Luigi Logrippo
Goal-Oriented Feature Interaction Detection in the Intelligent Network Model. FIW (1998)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Structural Models for Specifying Telephone Systems. Comput. Networks ISDN Syst. 29 (4) (1997)
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Comput. Networks ISDN Syst. 28 (13) (1996)
Kazi Farooqui, Luigi Logrippo
Group communication models. Comput. Commun. 19 (14) (1996)
Kazi Farooqui, Luigi Logrippo, Jan de Meer
The ISO Reference Model for Open Distributed Processing: An Introduction. Comput. Networks ISDN Syst. 27 (8) (1995)
Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo
Formal Support for Design Techniques: A Timethreads-LOTOS Approach. FORTE (1995)
Bernard Stepien, Luigi Logrippo
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. FIW (1995)
Bernard Stepien, Luigi Logrippo
Feature interaction detection using backward reasoning with LOTOS. PSTV (1994)
Mohammed Faci, Luigi Logrippo
Specifying features and analysing their interactions in a LOTOS environment. FIW (1994)
Mohammed Faci, Luigi Logrippo
Specifying Hardware Systems in LOTOS. CHDL (1993)
Rezki Boumezbeur, Luigi Logrippo
Specifying telephone systems in LOTOS. IEEE Commun. Mag. 31 (8) (1993)
Brahim Ghribi, Luigi Logrippo
A Validation Environment for LOTOS. PSTV (1993)
Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein
An Introduction to LOTOS: Learning by Examples. Comput. Networks ISDN Syst. 23 (5) (1992)
Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes
Goal oriented execution for LOTOS. FORTE (1992)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Comput. Networks ISDN Syst. 21 (1991)
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
An expressive trace theory for LOTOS. PSTV (1991)
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
A Hoare-style Proof System for LOTOS. FORTE (1990)
Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors
The algebraic specification language LOTOS: an industrial experience. Formal Methods in Software Development (1990)
Luigi Logrippo
The University of Ottawa LOTOS Toolkit. FORTE (1990)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specifications of Telephone Systems in LOTOS. PSTV (1989)
Djaffar Gueraichi, Luigi Logrippo
Derivation of Test Cases for LAP-B from a LOTOS Specification. FORTE (1989)
Renaud Guillemot, Luigi Logrippo
Derivation of Useful Execution Trees from LOTOS by using an Interpreter. FORTE (1988)
Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri
An Interpreter for LOTOS, a Specification Language for Distributed Systems. Softw. Pract. Exp. 18 (4) (1988)
Abdellatif Obaid, Luigi Logrippo
An Atomic Calculus of Communicating Systems. PSTV (1987)
J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid
Structure of a LOTOS interpreter. SIGCOMM (1986)
Luigi Logrippo, Bernard Stepien
Cluster analysis for the computer-assisted statistical analysis of melodies. Comput. Humanit. 20 (1) (1986)
Chris A. Vissers, Luigi Logrippo
The importance of the service concept in the design of data communications protocols. PSTV (1985)
Luigi Logrippo, Didier Simon, Hasan Ural
Executable Description of the OSI Transport Service in Prolog. PSTV (1984)
Luigi Logrippo, Douglas R. Skuce
File Structures, Program Structures, and Attributed Grammars. IEEE Trans. Software Eng. 9 (3) (1983)
Luigi Logrippo
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Protocol Specification, Testing, and Verification (1983)

Luigi Logrippo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luigi Logrippo