Luigi Logrippo

Inf. Process. Lett., 2019

2018

Configuring Data Flows in the Internet of Things for Security and Privacy Requirements.

[BibT_eX]

[DOI]

Abdelouadoud Stambouli

Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018

2017

A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets.

[BibT_eX]

[DOI]

Riaz Ahmed Shaikh

Int. J. Inf. Sec., 2017

Insider Threat Likelihood Assessment for Flexible Access Control.

[BibT_eX]

[DOI]

Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

2016

Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016

2015

A Metamodel for Hybrid Access Control Policies.

[BibT_eX]

[DOI]

Jamal Abd-Ali

Karim El Guemhioui

J. Softw., 2015

Metamodelling with Formal Semantics with Application to Access Control Specification.

[BibT_eX]

[DOI]

Jamal Abd-Ali

Karim El Guemhioui

Proceedings of the MODELSWARD 2015, 2015

Information Flow-Based Security Levels Assessment for Access Control Systems.

[BibT_eX]

[DOI]

Proceedings of the E-Technologies - 6th International Conference, 2015

2014

Granularity based flow control.

[BibT_eX]

[DOI]

Omar Abahmane

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Logical Method for Reasoning About Access Control and Data Flow Control Models.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

2013

A framework for risk assessment in access control systems.

[BibT_eX]

[DOI]

Comput. Secur., 2013

An access control framework for hybrid policies.

[BibT_eX]

[DOI]

Salim Khamadja

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

Designing flexible access control models for the cloud.

[BibT_eX]

[DOI]

Salim Khamadja

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

Towards a process for legally compliant software.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

2012

Dynamic risk-based decision methods for access control systems.

[BibT_eX]

[DOI]

Riaz Ahmed Shaikh

Comput. Secur., 2012

A Framework for Threat Assessment in Access Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy Research, 2012

Platform for privacy preferences (P3P): Current status and future directions.

[BibT_eX]

[DOI]

Muyiwa Olurin

Carlisle Adams

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

CatBAC: A generic framework for designing and validating hybrid access control models.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

2011

Concrete- and abstract-based access control.

[BibT_eX]

[DOI]

Yacine Bouzida

Serge Mankovski

Int. J. Inf. Sec., 2011

Risk-based decision method for access control systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

UACML: Unified Access Control Modeling Language.

[BibT_eX]

[DOI]

Nadera Slimani

Proceedings of the 4th IFIP International Conference on New Technologies, 2011

2010

Risk analysis in access control systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010

Detecting incompleteness in access control policies using data classification schemes.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

Risk management in dynamic role based access control systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

Risk Analysis in Access Control Systems Based on Trust Theories.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

Secrecy UML Method for Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

Inconsistency detection method for access control policies.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009

Governance Requirements Extraction Model for Legal Compliance Validation.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009

Typing for Conflict Detection in Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the E-Technologies: Innovation in an Open World, 2009

Interactions among secrecy models - (Work-in-progress paper).

[BibT_eX]

[DOI]

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Requirements and compliance in legal systems: a logic approach.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

2007

Detecting feature interactions in CPL.

[BibT_eX]

[DOI]

Yiqun Xu

J. Netw. Comput. Appl., 2007

Distributed resolution of feature interactions for internet applications.

[BibT_eX]

[DOI]

Rui Gustavo Crespo

Miguel Carvalho

Comput. Networks, 2007

Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

Conflict Detection in Call Control Using First-Order Logic Model Checking.

[BibT_eX]

Ahmed F. Layouni

Kenneth J. Turner

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

An Agent-Based Architecture for Context-Aware Communication.

[BibT_eX]

[DOI]

Romelia Plesa

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Formal detection of feature interactions with logic programming and LOTOS.

[BibT_eX]

[DOI]

Nicolas Gorse

Softw. Syst. Model., 2006

Detecting feature interaction in CPL.

[BibT_eX]

[DOI]

Nicolas Gorse

Softw. Syst. Model., 2006

Personalization of internet telephony services for presence with SIP and extended CPL.

[BibT_eX]

[DOI]

Dongmei Jiang

Ramiro Liscano

Comput. Commun., 2006

Foreword - New technologies in distributed systems.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2006

2005

Interactive conflict detection and resolution for personalized features.

[BibT_eX]

[DOI]

J. Commun. Networks, 2005

Generation of test purposes from Use Case Maps.

[BibT_eX]

[DOI]

Michael Weiss

Comput. Networks, 2005

Governance Policies for Privacy Access Control and their Interactions.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Policy-enabled mechanisms for feature interactions: reality, expectations, challenges.

[BibT_eX]

[DOI]

Stephan Reiff-Marganiec

Comput. Networks, 2004

Directions in feature interaction research.

[BibT_eX]

[DOI]

Comput. Networks, 2004

2002

Graphic visualization and animation of LOTOS execution traces.

[BibT_eX]

[DOI]

Comput. Networks, 2002

Feature Execution Trees and Interactions.

[BibT_eX]

Rui Gustavo Crespo

Tom Gray

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2000

Use Case Maps and <sub>LOTOS</sub> for the prototyping and validation of a mobile group call system.

[BibT_eX]

[DOI]

Comput. Commun., 2000

Future wireless networks.

[BibT_eX]

[DOI]

John Visser

Comput. Networks, 2000

Understanding GPRS: the GSM packet radio service.

[BibT_eX]

[DOI]

Brahim Ghribi

Comput. Networks, 2000

Feature interaction detection: a LOTOS-based approach.

[BibT_eX]

[DOI]

Comput. Networks, 2000

Deriving use cases for distributed systems from knowledge requirements.

[BibT_eX]

[DOI]

Xiao Jun Chen

Ann. des Télécommunications, 2000

Structural Coverage For LOTOS - a Probe Insertion Technique.

[BibT_eX]

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Feature Interaction Filtering with Use Case Maps at Requirements Stage.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Immaturity and Potential of Formal Methods: A Personal View.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999

Use Case Maps for the Capture and Validation of Distributed Systems Requirements.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998

Formal Spacification and Use Case Generation for a Mobile Telephony System.

[BibT_eX]

[DOI]

Randall Tuok

Comput. Networks, 1998

Feature Interactions in Telecommunications Software.

[BibT_eX]

[DOI]

Petre Dini

Comput. Networks, 1998

Goal-Oriented Feature Interaction Detection in the Intelligent Network Model.

[BibT_eX]

Jalel Kamoun

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Structural Models for Specifying Telephone Systems.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1997

1996

Group communication models.

[BibT_eX]

[DOI]

Kazi Farooqui

Comput. Commun., 1996

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1996

1995

The ISO Reference Model for Open Distributed Processing: An Introduction.

[BibT_eX]

[DOI]

Kazi Farooqui

Jan de Meer

Comput. Networks ISDN Syst., 1995

Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

[BibT_eX]

Proceedings of the Formal Description Techniques VIII, 1995

Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications III, 1995

1994

Feature interaction detection using backward reasoning with LOTOS.

[BibT_eX]

Proceedings of the Protocol Specification, 1994

Specifying features and analysing their interactions in a LOTOS environment.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993

Specifying telephone systems in LOTOS.

[BibT_eX]

[DOI]

Rezki Boumezbeur

IEEE Commun. Mag., 1993

A Validation Environment for LOTOS.

[BibT_eX]

Brahim Ghribi

Proceedings of the Protocol Specification, 1993

Specifying Hardware Systems in LOTOS.

[BibT_eX]

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992

An Introduction to LOTOS: Learning by Examples.

[BibT_eX]

[DOI]

Mazen Haj-Hussein

Comput. Networks ISDN Syst., 1992

Goal oriented execution for LOTOS.

[BibT_eX]

Mazen Haj-Hussein

Proceedings of the Formal Description Techniques, 1992

1991

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1991

An expressive trace theory for LOTOS.

[BibT_eX]

S. Gallouzi

Abdellatif Obaid

Proceedings of the Protocol Specification, 1991

1990

The University of Ottawa LOTOS Toolkit.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1990

A Hoare-style Proof System for LOTOS.

[BibT_eX]

S. Gallouzi

Abdellatif Obaid

Proceedings of the Formal Description Techniques, 1990

The algebraic specification language LOTOS: an industrial experience.

[BibT_eX]

[DOI]

Tim Melanchuk

Robert J. Du Wors

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Formal Specifications of Telephone Systems in LOTOS.

[BibT_eX]

Proceedings of the Protocol Specification, 1989

Derivation of Test Cases for LAP-B from a LOTOS Specification.

[BibT_eX]

Djaffar Gueraichi

Proceedings of the Formal Description Techniques, 1989

1988

An Interpreter for LOTOS, a Specification Language for Distributed Systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1988

Derivation of Useful Execution Trees from LOTOS by using an Interpreter.

[BibT_eX]

Renaud Guillemot

Proceedings of the Formal Description Techniques, 1988

1987

An Atomic Calculus of Communicating Systems.

[BibT_eX]

Abdellatif Obaid

Proceedings of the Protocol Specification, 1987

1986

Cluster analysis for the computer-assisted statistical analysis of melodies.

[BibT_eX]

[DOI]

Comput. Humanit., 1986

Structure of a LOTOS interpreter.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

1985

The importance of the service concept in the design of data communications protocols.

[BibT_eX]

Chris A. Vissers

Proceedings of the Protocol Specification, 1985

1984

Executable Description of the OSI Transport Service in Prolog.

[BibT_eX]

Didier Simon

Hasan Ural

Proceedings of the Protocol Specification, 1984

1983

File Structures, Program Structures, and Attributed Grammars.

[BibT_eX]

[DOI]

Douglas R. Skuce

IEEE Trans. Software Eng., 1983

"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.

[BibT_eX]

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Protocol/Specification-Level Validation.

[BibT_eX]

Robert L. Probert

Proceedings of the Protocol Specification, 1982

1981

Input-directed program design.

[BibT_eX]

[DOI]