Frédéric Cuppens

Joséphine Delas

Int. J. Inf. Sec., December, 2024

Trustless Distributed Symmetric-key Encryption.

[BibT_eX]

[DOI]

CoRR, 2024

Diffusion-based Adversarial Purification for Intrusion Detection.

[BibT_eX]

[DOI]

Erwan Beurier

CoRR, 2024

Robust Deep Reinforcement Learning Through Adversarial Attacks and Training : A Survey.

[BibT_eX]

[DOI]

Sylvain Lamprier

CoRR, 2024

How to Better Fit Reinforcement Learning for Pentesting: A New Hierarchical Approach.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2024, 2024

Optimal Automated Generation of Playbooks.

[BibT_eX]

[DOI]

Kéren Saint-Hilaire

Makhlouf Hadji

Proceedings of the Data and Applications Security and Privacy XXXVIII, 2024

2023

Foreword of the special issue on « FPS 2021» symposium.

[BibT_eX]

[DOI]

Ann. des Télécommunications, August, 2023

Cybersecurity in networking: adaptations, investigation, attacks, and countermeasures.

[BibT_eX]

[DOI]

Ahmad Samer Wazan

Ann. des Télécommunications, April, 2023

Automated Enrichment of Logical Attack Graphs via Formal Ontologies.

[BibT_eX]

[DOI]

Kéren Saint-Hilaire

Felipe Gohring de Magalhaes

Proceedings of the ICT Systems Security and Privacy Protection, 2023

Security assessment of a commercial router using physical access: a case study.

[BibT_eX]

[DOI]

Colin Stephenne

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

Automated Attacker Behaviour Classification Using Threat Intelligence Insights.

[BibT_eX]

[DOI]

Pierre Crochelet

Alexandre Proulx

Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023

Unsupervised Clustering of Honeypot Attacks by Deep HTTP Packet Inspection.

[BibT_eX]

[DOI]

Victor Aurora

Alexandre Proulx

Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023

Trust Management Framework for Containerized Workloads Applications to 5G Networks.

[BibT_eX]

[DOI]

Aicha Miloudi

Luis Carlos Suárez

Proceedings of the Applied Cryptography and Network Security Workshops, 2023

Parameterizing poisoning attacks in federated learning-based intrusion detection.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

Real-Time Defensive Strategy Selection via Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Axel Charpentier

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Ontology-based Attack Graph Enrichment.

[BibT_eX]

[DOI]

Kéren Saint-Hilaire

CoRR, 2022

Investigating the practicality of adversarial evasion attacks on network intrusion detection.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2022

Attacker Attribution via Characteristics Inference Using Honeypot Data.

[BibT_eX]

[DOI]

Pierre Crochelet

Proceedings of the Network and System Security - 16th International Conference, 2022

Evading Deep Reinforcement Learning-based Network Intrusion Detection with Adversarial Attacks.

[BibT_eX]

[DOI]

Joséphine Delas

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

Deep Reinforcement Learning-Based Defense Strategy Selection.

[BibT_eX]

[DOI]

Axel Charpentier

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

Special issue on risk and security of smart systems.

[BibT_eX]

[DOI]

Slim Kallel

Ahmed Hadj Kacem

Lotfi Ben Othmane

J. Inf. Secur. Appl., 2021

MTD, Where Art Thou? A Systematic Review of Moving Target Defense Techniques for IoT.

[BibT_eX]

[DOI]

Renzo E. Navas

IEEE Internet Things J., 2021

Physical resilience to insider attacks in IoT networks: Independent cryptographically secure sequences for DSSS anti-jamming.

[BibT_eX]

[DOI]

Renzo E. Navas

Comput. Networks, 2021

Resilience Estimation of Cyber-Physical Systems via Quantitative Metrics.

[BibT_eX]

[DOI]

IEEE Access, 2021

Asymptotic Random Distortion Testing and Application to Change-in-Mean Detection.

[BibT_eX]

[DOI]

Guillaume Ansel

Dominique Pastor

Proceedings of the 10th International Symposium on Signal, Image, Video and Communications, 2021

2020

Privacy-Preserving Pattern Matching on Encrypted Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Metrics to Enhance the Resilience of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Accountability in the A Posteriori Access Control: A Requirement and a Mechanism.

[BibT_eX]

[DOI]

Farah Dernaika

Olivier Raynaud

Proceedings of the Quality of Information and Communications Technology, 2020

Formalization of a security access control model for the 5G system.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Network of the Future, 2020

IANVS: A Moving Target Defense Framework for a Resilient Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2020

A Priority-Based Domain Type Enforcement for Exception Management.

[BibT_eX]

[DOI]

Manel Smine

Marc-Oliver Pahl

Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020

Managing Secure Inter-slice Communication in 5G Network Slice Chains.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

Network Functions Virtualization Access Control as a Service.

[BibT_eX]

[DOI]

Manel Smine

Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

A Deeper Analysis of Adversarial Examples in Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2020

A Posteriori Analysis of Policy Temporal Compliance.

[BibT_eX]

[DOI]

Farah Dernaika

Olivier Raynaud

Proceedings of the Risks and Security of Internet and Systems, 2020

PROS2E, a Probabilistic Representation of Safety and Security Events for Diagnosis.

[BibT_eX]

[DOI]

Edwin Bourget

Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, 2020

Norms and Deontic Logic.

[BibT_eX]

[DOI]

Christophe Garion

Guillaume Piolle

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

2019

Misconfiguration Management of Network Security Components.

[BibT_eX]

[DOI]

CoRR, 2019

Defining a communication service management function for 5G network slices.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Networks and Communications, 2019

Semantic Mediation for A Posteriori Log Analysis.

[BibT_eX]

[DOI]

Farah Dernaika

Olivier Raynaud

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

Managing the Overestimation of Resilience.

[BibT_eX]

[DOI]

Thomas Clédel

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018

Substring search over encrypted data.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

Achieving dynamicity in security policies enforcement using aspects.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2018

Detection and Response to Data Exfiltration from Internet of Things Android Devices.

[BibT_eX]

[DOI]

Ivan Marco Lobe Kome

Proceedings of the ICT Systems Security and Privacy Protection, 2018

CoAP Enhancement for a Better IoT Centric Protocol: CoAP 2.0.

[BibT_eX]

[DOI]

Marco Lobe Kome

Proceedings of the 2018 Fifth International Conference on Internet of Things: Systems, 2018

USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework.

[BibT_eX]

[DOI]

Xiaoshu Ji

Gurvan Le Guernic

Proceedings of the Information and Communications Security - 20th International Conference, 2018

Linking Differential Identifiability with Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 20th International Conference, 2018

Probabilistic Event Graph to Model Safety and Security for Diagnosis Purposes.

[BibT_eX]

[DOI]

Edwin Bourget

Simon N. Foley

Youssef Laarouchi

Proceedings of the Data and Applications Security and Privacy XXXII, 2018

Towards the Evaluation of End-to-End Resilience Through External Consistency.

[BibT_eX]

[DOI]

Proceedings of the Cyberspace Safety and Security - 10th International Symposium, 2018

Effectiveness and Impact Measurements of a Diversification Based Moving Target Defense.

[BibT_eX]

[DOI]

Manel Smine

Proceedings of the Risks and Security of Internet and Systems, 2018

A Certificate-Less Key Exchange Protocol for IoT.

[BibT_eX]

[DOI]

Ivan Marco Lobe Kome

Proceedings of the Risks and Security of Internet and Systems, 2018

Optimal Distribution of Privacy Budget in Differential Privacy.

[BibT_eX]

[DOI]

Aimilia Tasidou

Fatma Bouattour

Feten Ben Fredj

Proceedings of the Risks and Security of Internet and Systems, 2018

A Prediction-Based Method for False Data Injection Attacks Detection in Industrial Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2018

Stratification Based Model for Security Policy with Exceptions and Contraries to Duty.

[BibT_eX]

[DOI]

Proceedings of the From Database to Cyber Security, 2018

Demo: Do Not Trust Your Neighbors! A Small IoT Platform Illustrating a Man-in-the-Middle Attack.

[BibT_eX]

[DOI]

Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2018

2017

Detection of Side Channel Attacks Based on Data Tainting in Android Systems.

[BibT_eX]

[DOI]

Routa Moussaileb

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Real-Time Detection and Reaction to Activity Hijacking Attacks in Android Smartphones (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 15th Annual Conference on Privacy, Security and Trust, 2017

DIscovery and REgistration Protocol - For Device and Person Identity Management in IoT.

[BibT_eX]

[DOI]

Marco Lobe Kome

Proceedings of the Information Systems Security - 13th International Conference, 2017

Experimenting Similarity-Based Hijacking Attacks Detection and Response in Android Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 13th International Conference, 2017

wIDS: A Multilayer IDS for Wireless-Based SCADA Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 13th International Conference, 2017

wirelessOrBAC: Towards an access-control-based IDS for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Communication and Network Security, 2017

Firewall Policies Provisioning Through SDN in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

Enabling Trust Assessment In Clouds-of-Clouds: A Similarity-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Access and privacy control enforcement in RFID middleware systems: Proposal and implementation on the fosstrak platform.

[BibT_eX]

[DOI]

Guy Pujolle

World Wide Web, 2016

Software Defined Networking Reactive Stateful Firewall.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Expression and Enforcement of Security Policy for Virtual Resource Allocation in IaaS Cloud.

[BibT_eX]

[DOI]

Yanhuang Li

Jean-Michel Crom

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Towards a new generation of industrial firewalls: Operational-process aware filtering.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Toward an off-line analysis of obligation with deadline policies.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Tracking Explicit and Control Flows in Java and Native Android Apps Code.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Building a Fair System Using Access Rights.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 12th International Conference, 2016

Vulnerability Analysis of Software Defined Networking.

[BibT_eX]

[DOI]

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

Multi-Criteria Recommender Approach for Supporting Intrusion Response System.

[BibT_eX]

[DOI]

Tarek Bouyahia

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

Security Analysis of WirelessHART Communication Scheme.

[BibT_eX]

[DOI]

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

A Proactive Stateful Firewall for Software Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2016

Towards a CDS-based Intrusion Detection Deployment Scheme for Securing Industrial Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Mining a high level access control policy in a network with multiple firewalls.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2015

Deployment of a posteriori access control using IHE ATNA.

[BibT_eX]

[DOI]

Hanieh Azkia

Int. J. Inf. Sec., 2015

Dynamic Security Policies Enforcement and Adaptation Using Aspects.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Dynamic deployment of access and usage control policies using aspects.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Protocol Engineering, 2015

Data Quality Evaluation in Medical Database Watermarking.

[BibT_eX]

[DOI]

Philippe Massari

Stéfan Jacques Darmoni

Proceedings of the Digital Healthcare Empowering Europeans, 2015

Similarity Measure for Security Policies in Service Provider Selection.

[BibT_eX]

[DOI]

Yanhuang Li

Proceedings of the Information Systems Security - 11th International Conference, 2015

Security Mechanisms Planning to Enforce Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

On the Fly Design and Co-simulation of Responses Against Simultaneous Attacks.

[BibT_eX]

[DOI]

Léa El Samarji

Proceedings of the Computer Security - ESORICS 2015, 2015

WirelessHART NetSIM: A WirelessHART SCADA-Based Wireless Sensor Networks Simulator.

[BibT_eX]

[DOI]

Proceedings of the Security of Industrial Control Systems and Cyber Physical Systems, 2015

Privacy Preserving Record Matching Using Automated Semi-trusted Broker.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIX, 2015

Context Aware Intrusion Response Based on Argumentation Logic.

[BibT_eX]

[DOI]

Tarek Bouyahia

Proceedings of the Risks and Security of Internet and Systems, 2015

Security Issue of WirelessHART Based SCADA Systems.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2015

2014

Robust Lossless Watermarking of Relational Databases Based on Circular Histogram Modulation.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2014

KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems.

[BibT_eX]

[DOI]

Yannick Chevalier

J. Netw. Comput. Appl., 2014

Log content extraction engine based on ontology for the purpose of a posteriori access control.

[BibT_eX]

[DOI]

Hanieh Azkia

Int. J. Knowl. Learn., 2014

Conflict detection in obligation with deadline policies.

[BibT_eX]

[DOI]

Anas Abou El Kalam

EURASIP J. Inf. Secur., 2014

Privacy query rewriting algorithm instrumented by a privacy-aware access control model.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2014

Car2X Communication - Putting Security Negotiation into Practice.

[BibT_eX]

[DOI]

Proceedings of the IEEE 80th Vehicular Technology Conference, 2014

Reaching Agreement in Security Policy Negotiation.

[BibT_eX]

[DOI]

Yanhuang Li

Jean-Michel Crom

Proceedings of the 13th IEEE International Conference on Trust, 2014

Probabilistic Cycle Detection for Schneier's Solitaire Keystream Algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

Protection against Code Obfuscation Attacks Based on Control Dependencies in Android Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

Coordination and Concurrency Aware Likelihood Assessment of Simultaneous Attacks.

[BibT_eX]

[DOI]

Léa El Samarji

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Optimized and controlled provisioning of encrypted outsourced data.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, 2014

Specifying and enforcing constraints in dynamic access control policies.

[BibT_eX]

[DOI]

Anas Abou El Kalam

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

Adapted Quantization Index Modulation for Database Watermarking.

[BibT_eX]

[DOI]

Proceedings of the Digital-Forensics and Watermarking - 13th International Workshop, 2014

Détection de flux de contrôle illégaux dans les Smartphones.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps.

[BibT_eX]

[DOI]

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

Metric for Security Activities Assisted by Argumentative Logic.

[BibT_eX]

[DOI]

Tarek Bouyahia

Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

Ontology-guided distortion control for robust-lossless database watermarking: Application to inpatient hospital stay records.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Privacy-Preserving Multiple Keyword Search on Outsourced Data in the Clouds.

[BibT_eX]

[DOI]

Indrakshi Ray

Indrajit Ray

Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

ELITE: zEro Links Identity managemenT systEm.

[BibT_eX]

[DOI]

Indrajit Ray

Indrakshi Ray

Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

Specification and Deployment of Integrated Security Policies for Outsourced Data.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

2013

Reversible Watermarking Based on Invariant Image Classification and Dynamic Histogram Shifting.

[BibT_eX]

[DOI]

Wei Pan

IEEE Trans. Inf. Forensics Secur., 2013

PAIRSE: a privacy-preserving service-oriented data integration system.

[BibT_eX]

[DOI]

SIGMOD Rec., 2013

Preserving Multi-relational Outsourced Databases Confidentiality using Fragmentation and Encryption.

[BibT_eX]

[DOI]

José M. Fernandez

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013

Formal specification and management of security policies with collective group obligations.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

Semantic analysis of role mining results and shadowed roles detection.

[BibT_eX]

[DOI]

Inf. Secur. Tech. Rep., 2013

Editorial.

[BibT_eX]

[DOI]

Ernesto Damiani

Radu State

Nadia Tawbi

J. Inf. Secur. Appl., 2013

Smatch: Formal dynamic session management model for RBAC.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2013

Management of stateful firewall misconfiguration.

[BibT_eX]

[DOI]

Eugenia I. Papagiannakopoulou

Comput. Secur., 2013

A privacy-aware access control model for distributed network monitoring.

[BibT_eX]

[DOI]

Maria N. Koukovini

Georgios V. Lioudakis

Dimitra I. Kaklamani

Iakovos S. Venieris

Comput. Electr. Eng., 2013

Authenticity Control of Relational Databases by Means of Lossless Watermarking Based on Circular Histogram Modulation.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 9th International Workshop, 2013

Formal Characterization of Illegal Control Flow in Android System.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013

Security Aspects: A Framework for Enforcement of Security Policies Using AOP.

[BibT_eX]

[DOI]

Mónica Pinto

Lidia Fuentes

Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013

Define privacy-preserving setbase drawer size standard: A ∊-closeness perspective.

[BibT_eX]

[DOI]

Julien Bringer

Hervé Chabanne

Olivier Cipiere

Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

Model-Driven Extraction and Analysis of Network Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Fine-grained privacy control for the RFID middleware of EPCglobal networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013

IPv6 Address Obfuscation by Intermediate Middlebox in Coordination with Connected Devices.

[BibT_eX]

[DOI]

Proceedings of the Advances in Communication Networking, 2013

Towards an Access-Control Metamodel for Web Content Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2013

Semantic search over encrypted data.

[BibT_eX]

[DOI]

Abdullatif Shikfa

Proceedings of the 20st International Conference on Telecommunications, 2013

Confidentiality-Preserving Query Execution of Fragmented Outsourced Data.

[BibT_eX]

[DOI]

José M. Fernandez

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Policy Mining: A Bottom-Up Approach toward a Model Based Firewall Management.

[BibT_eX]

[DOI]

Vijay Atluri

Eugenia I. Papagiannakopoulou

Proceedings of the Information Systems Security - 9th International Conference, 2013

Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model.

[BibT_eX]

[DOI]

Maria N. Koukovini

Georgios V. Lioudakis

Nikolaos L. Dellas

Dimitra I. Kaklamani

Iakovos S. Venieris

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

PrivComp: a privacy-aware data service composition system.

[BibT_eX]

[DOI]

Mahmoud Barhamgi

Djamal Benslimane

Youssef Amghar

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Reverse Engineering of Database Security Policies.

[BibT_eX]

[DOI]

Valerio Cosentino

Proceedings of the Database and Expert Systems Applications, 2013

Enhance Biometric Database Privacy: Defining Privacy-Preserving Drawer Size Standard for the Setbase.

[BibT_eX]

[DOI]

Julien Bringer

Hervé Chabanne

Olivier Cipiere

Proceedings of the Data and Applications Security and Privacy XXVII, 2013

Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks.

[BibT_eX]

[DOI]

Layal Samarji

Proceedings of the Cyberspace Safety and Security - 5th International Symposium, 2013

Privacy-enhanced filtering and collection middleware in EPCglobal networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013

Secure and Privacy-Preserving Execution Model for Data Services.

[BibT_eX]

[DOI]

Mahmoud Barhamgi

Djamal Benslimane

Michael Mrissa

Hajer Taktak

Proceedings of the Advanced Information Systems Engineering, 2013

Conflict Management in Obligation with Deadline Policies.

[BibT_eX]

[DOI]

Anas Abou El Kalam

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

Role Mining to Assist Authorization Governance: How Far Have We Gone?

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2012

Formal enforcement and management of obligation policies.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2012

Towards Dynamic Risk Management: Success Likelihood of Ongoing Attacks.

[BibT_eX]

[DOI]

Serge Papillon

Bell Labs Tech. J., 2012

Handling Stateful Firewall Anomalies.

[BibT_eX]

[DOI]

Xavier Rimasson

Proceedings of the Information Security and Privacy Research, 2012

A model-driven approach for the extraction of network access-control policies.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Enabling Dynamic Security Policy in the Java Security Manager.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 5th International Symposium, 2012

Towards a Temporal Response Taxonomy.

[BibT_eX]

[DOI]

Layal Samarji

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

Towards Session-Aware RBAC Delegation: Function Switch.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

Robust lossless watermarking based on circular interpretation of bijective transformations for the protection of medical databases.

[BibT_eX]

[DOI]

Emmanuel Chazard

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Adaptive Access Control Enforcement in Social Network Using Aspect Weaving.

[BibT_eX]

[DOI]

Eduardo Pena Viña

Proceedings of the Database Systems for Advanced Applications, 2012

Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses.

[BibT_eX]

[DOI]

Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Availability, 2012

Towards Automated Assistance for Mined Roles Analysis in Role Mining Applications.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Availability, 2012

2011

Multilevel Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Cover Story.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Dynamic deployment of context-aware access control policies for constrained security devices.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations.

[BibT_eX]

[DOI]

Int. J. Mob. Comput. Multim. Commun., 2011

Delegation of Obligations and Responsibility.

[BibT_eX]

[DOI]

Daniel Le Métayer

Guillaume Piolle

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

Privacy Enforcement of Composed Services in Cellular Networks.

[BibT_eX]

[DOI]

Nabil Ajam

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

Consistency Policies for Dynamic Information Systems with Declassification Flows.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 7th International Conference, 2011

Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security, 2011

Using Requirements Engineering in an Automatic Security Policy Derivation Process.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

Reversible watermarking based on invariant image classification and dynamical error histogram shifting.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Declassification Policy Management in Dynamic Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

Smatch Model: Extending RBAC Sessions in Virtualization Environment.

[BibT_eX]

[DOI]

Marie Nuadi

Proceedings of the Sixth International Conference on Availability, 2011

2010

A delegation model for extended RBAC.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2010

Managing Delegation in Access Control Models

[BibT_eX]

[DOI]

CoRR, 2010

Watermarking to Enforce Medical Image Access and Usage Control Policy.

[BibT_eX]

[DOI]

Wei Pan

Proceedings of the Sixth International Conference on Signal-Image Technology and Internet-Based Systems, 2010

Privacy Administration in Distributed Service Infrastructure.

[BibT_eX]

[DOI]

Nabil Ajam

Proceedings of the Security and Privacy in Communication Networks, 2010

Ex-SDF: An Extended Service Dependency Framework for Intrusion Impact Assessment.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy - Silver Linings in the Cloud, 2010

Risk-Aware Framework for Activating and Deactivating Policy-Based Response.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Network and System Security, 2010

Service Dependencies in Information Systems Security.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2010

Expression and enforcement of confidentiality policy in active databases.

[BibT_eX]

[DOI]

Proceedings of the MEDES '10: International ACM Conference on Management of Emergent Digital EcoSystems, 2010

Negotiating and delegating obligations.

[BibT_eX]

[DOI]

Proceedings of the MEDES '10: International ACM Conference on Management of Emergent Digital EcoSystems, 2010

Rewriting of SPARQL/Update Queries for Securing Data Access.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 12th International Conference, 2010

Model-Driven Security Policy Deployment: Property Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

A Service Dependency Model for Cost-Sensitive Intrusion Response.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010

MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010

<i>f</i>Query: SPARQL Query Rewriting to Enforce Data Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

Securing the Communications of Home Health Care Systems Based on RFID Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Conference on Communication Networks and Services Research, 2010

Intelligent response system to mitigate the success likelihood of ongoing attacks.

[BibT_eX]

[DOI]

Antony Martin

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

Reconciling IHE-ATNA profile with a posteriori contextual access and usage control policy in healthcare environment.

[BibT_eX]

[DOI]

Hanieh Azkia

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

Architecture-Aware Adaptive Deployment of Contextual Security Policies.

[BibT_eX]

[DOI]

Proceedings of the ARES 2010, 2010

From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach.

[BibT_eX]

[DOI]

Proceedings of the ARES 2010, 2010

2009

An ontology-based approach to react to network attacks.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2009

XeNA: an access negotiation framework using XACML.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2009

An Extended Role-Based Access Control Model for Delegating Obligations.

[BibT_eX]

[DOI]

Proceedings of the Trust, 2009

Modeling and Controlling Downgrading Operations in Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Signal-Image Technology & Internet-Based Systems, 2009

Formalization and Management of Group Obligations.

[BibT_eX]

[DOI]

Yehia El Rakaiby

Proceedings of the POLICY 2009, 2009

From state-based to event-based contextual security policies.

[BibT_eX]

[DOI]

Yehia El Rakaiby

Proceedings of the Fourth IEEE International Conference on Digital Information Management, 2009

Medical Image Integrity Control Combining Digital Signature and Lossless Watermarking.

[BibT_eX]

[DOI]

Wei Pan

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

Contextual Privacy Management in Extended Role Based Access Control Model.

[BibT_eX]

[DOI]

Nabil Ajam

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

A Service Dependency Modeling Framework for Policy-Based Response Enforcement.

[BibT_eX]

[DOI]

Jouni Viinikka

Proceedings of the Detection of Intrusions and Malware, 2009

Reaction Policy Model Based on Dynamic Organizations and Threat Context.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security XXIII, 2009

Success Likelihood of Ongoing Attacks for Intrusion Detection and Response Systems.

[BibT_eX]

[DOI]

Antony Martin

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

A secured delegation of remote services on IPv6 home networks.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS 2009, 2009

Semantic context aware security policy deployment.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Information, 2009

Deploying Security Policy in Intra and Inter Workflow Management Systems.

[BibT_eX]

[DOI]

Proceedings of the The Forth International Conference on Availability, 2009

2008

Complete analysis of configuration rules to guarantee reliable network security policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Modeling contextual security policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Deploying Access and Flow Control in Distributed Workflows.

[BibT_eX]

[DOI]

J. Res. Pract. Inf. Technol., 2008

Expression and Deployment of Reaction Policies.

[BibT_eX]

[DOI]

Yacine Bouzida

Aurélien Croissant

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Interoperability of Context Based System Policies Using O2O Contract.

[BibT_eX]

[DOI]

Céline Coma

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Interactivity for Reactive Access Control.

[BibT_eX]

Yehia ElRakaiby

Proceedings of the SECRYPT 2008, 2008

Negotiation of Prohibition: An Approach Based on Policy Rewriting.

[BibT_eX]

[DOI]

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

A Robust Reputation Scheme for Decentralized Group Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 4th International Conference, 2008

Revocation Schemes for Delegation Licences.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 10th International Conference, 2008

Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

Automated reaction based on risk analysis and attackers skills in intrusion detection systems.

[BibT_eX]

[DOI]

José Araujo

Proceedings of the CRiSIS '08, 2008

An ontology-based approach to react to network attacks.

[BibT_eX]

[DOI]

Jorge E. López de Vergara

Enrique Vázquez

Javier Guerra

Proceedings of the CRiSIS '08, 2008

Evaluating the Trustworthiness of Contributors in a Collaborative Environment.

[BibT_eX]

[DOI]

Cam Tu Phan Le

Patrick Maillé

Proceedings of the Collaborative Computing: Networking, 2008

Deploying Access Control in Distributed Workflow.

[BibT_eX]

[DOI]

Proceedings of the Sixth Australasian Information Security Conference, 2008

Managing access and flow control requirements in distributed workflows.

[BibT_eX]

[DOI]

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

Context Ontology for Secure Interoperability.

[BibT_eX]

[DOI]

Céline Coma

Proceedings of the The Third International Conference on Availability, 2008

2007

Enabling automated threat response through the use of a dynamic security policy.

[BibT_eX]

[DOI]

Yohann Thomas

J. Comput. Virol., 2007

A Framework to Enforce Access Control, Usage Control and Obligations.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2007

Introduction Selection of articles from the SAR-SSI 2006.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2007

Reliable Process for Security Policy Deployment.

[BibT_eX]

Proceedings of the SECRYPT 2007, 2007

OPA: Onion Policy Administration Model - Another approach to manage rights in DRM.

[BibT_eX]

[DOI]

Proceedings of the New Approaches for Security, 2007

Management of Exceptions on Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the New Approaches for Security, 2007

A formal approach for testing security rules.

[BibT_eX]

[DOI]

Wissam Mallouli

Jean-Marie Orset

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Misbehaviors Detection to Ensure Availability in OLSR.

[BibT_eX]

[DOI]

Tony Ramard

Proceedings of the Mobile Ad-Hoc and Sensor Networks, Third International Conference, 2007

XML-BB: A Model to Handle Relationships Protection in XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Advanced Reaction Using Risk Assessment in Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2007

Security policy compliance with violation management.

[BibT_eX]

[DOI]

Julien Brunel

Jean-Paul Bodeveix

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

An Integrated Model for Access Control and Information Flow Requirements.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2007

Resource Classification Based Negotiation in Web Services.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

Aggregating and Deploying Network Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the The Second International Conference on Availability, 2007

2006

High Level Conflict Management Strategies in Advanced Access Control Models.

[BibT_eX]

[DOI]

Meriam Ben Ghorbel

Proceedings of the First Workshop in Information and Computer Security, 2006

Foreword.

[BibT_eX]

Elisa Bertino

Ann. des Télécommunications, 2006

Anti-correlation as a criterion to select appropriate counter-measures in an intrusion detection framework.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2006

CRIM: un module de corrélation d'alertes et de réaction aux attaques.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2006

An extended RBAC profile of XACML.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

A Flexible and Distributed Architecture to Enforce Dynamic Access Control.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Dynamic Environments, 2006

Detecting Known and Novel Network Intrusions.

[BibT_eX]

[DOI]

Yacine Bouzida

Proceedings of the Security and Privacy in Dynamic Environments, 2006

Towards Filtering and Alerting Rule Rewriting on Single-Component Policies.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

O2O: Virtual Private Organizations to Manage Security Policy Interoperability.

[BibT_eX]

[DOI]

Céline Coma

Proceedings of the Information Systems Security, Second International Conference, 2006

Detecting and Reacting against Distributed Denial of Service Attacks.

[BibT_eX]

[DOI]

Yacine Bouzida

Sylvain Gombault

Proceedings of IEEE International Conference on Communications, 2006

Analysis of Policy Anomalies on Distributed Network Security Setups.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2006

Using Contextual Security Policies for Threat Response.

[BibT_eX]

[DOI]

Yohann Thomas

Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2006

FORM : A Federated Rights Expression Model for Open DRM Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

Availability Enforcement by Obligations and Aspects Identification.

[BibT_eX]

[DOI]

Tony Ramard

Proceedings of the The First International Conference on Availability, 2006

2005

Protecting On-Line Casinos against Fraudulent Player Drop-Out.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Protection of Relationships in XML Documents with the XML-BB Model.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, First International Conference, 2005

Nomad: A Security Model with Non Atomic Actions and Deadlines.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Détection d'intrusions : corrélation d'alertes.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

AdOrBAC: an administration model for Or-BAC.

[BibT_eX]

Comput. Syst. Sci. Eng., 2004

Utilisation de la corrélation pondérée dans un processus de détection d'intrusions.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2004

Health care and social inference systems: An unauthorized inference control based on fuzzy logic.

[BibT_eX]

Souhila Kaci

Abdeslam Ali-Laouar

Proceedings of the Security In Information Systems, 2004

A Formal Approach to Specify and Deploy a Network Security Policy.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Decentralized Publish-Subscribe System to Prevent Coordinated Attacks via Alert Correlation.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 6th International Conference, 2004

Selecting Appropriate Counter-Measures in an Intrusion Detection Framework.

[BibT_eX]

[DOI]

Sylvain Gombault

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

A stratification-based approach for handling conflicts in access control.

[BibT_eX]

[DOI]

Rania El Baida

Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003

Organization based access contro.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Administration Model for Or-BAC.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Enhanced Correlation in an Intrusion Detection Process.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2003

A Possibilistic Logic Encoding of Access Control.

[BibT_eX]

[DOI]

Rania El Baida

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Modelling Contexts in the Or-BAC Model.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2002

Alert Correlation in a Cooperative Intrusion Detection Framework.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Recognizing Malicious Intention in an Intrusion Detection Process.

[BibT_eX]

Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002

2001

Merging regulations: Analysis of a practical example.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

Fusion: General concepts and characteristics.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

Cover story management.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2001

Managing Alerts in a Multi-Intrusion Detection Environmen.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

2000

LAMBDA: A Language to Model a Database for Detection of Attacks.

[BibT_eX]

[DOI]

Rodolphe Ortalo

Proceedings of the Recent Advances in Intrusion Detection, Third International Workshop, 2000

LExIS: A Query Language to Scan Information Flow.

[BibT_eX]

[DOI]

Jérôme Carrère

Proceedings of the Natural Language Processing and Information Systems, 2000

1999

Logical Foundations of Multilevel Databases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1999

1998

A Logical Formalization of Integrity Policies for Database Management Systems.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems, 1998

Rules for Designing Multilevel Object-Oriented Databases.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 1998

SACADDOS: A Support Tool to Manage Multilevel Documents.

[BibT_eX]

Jérôme Carrère

Proceedings of the Database Security XII: Status and Prospects, 1998

Merging Security Policies: Analysis of a Practical Example.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

Analyzing Consistency of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

A Modal Logical Framework for Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Towards a Logical Formalization of Responsibility.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1996

Querying a Multilevel Database: A Logical Analysis.

[BibT_eX]

[DOI]

Proceedings of the VLDB'96, 1996

A Deontic Logic for Reasoning about Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

A Logical Approach to Model a Multilevel Object-Oriented Database.

[BibT_eX]

Proceedings of the Database Security Volume X, 1996

Specifying a security policy: a case study.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

Formalisation de la Confidentialité dans une Base de Données à Objets.

[BibT_eX]

Proceedings of the 12èmes Journées Bases de Données Avancées, 1996

1995

Solving Normative Conflicts by Merging Roles.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

Modelling a Multilevel Database with Temporal Downgrading Functionalities.

[BibT_eX]

Proceedings of the Database Security IX: Status and Prospects, 1995

1994

Asynchronous composition and required security conditions.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

Information Flow Controls vs Interference Controls: An Integrated Approach.

[BibT_eX]

[DOI]

Gilles Trouessin

Proceedings of the Computer Security, 1994

Decomposition of Multilevel Objects in an Object-Oriented Database.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 1994

Providing Consistent Views in a Polyinstantiated Database.

[BibT_eX]

Proceedings of the Database Security, 1994

1993

A logical analysis of authorized and prohibited information flows.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993

Multilevel Security in Object-Oriented Databases.

[BibT_eX]

Proceedings of the Security for Object-Oriented Systems, 1993

Neighborhood data and database security.

[BibT_eX]

[DOI]

Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993

A Logical Formalization of Secrecy.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

MultiView model for object-oriented database.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Computer Security Applications Conference, 1993

1992

A Logical View of Secure Dependencies.

[BibT_eX]

[DOI]

Pierre Bieber

J. Comput. Secur., 1992

A 'natural' decomposition of multi-level relations.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

Secure Dependencies with Dynamic Level Assignments.

[BibT_eX]

[DOI]

Pierre Bieber

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1991

Extending answers to neighbour entities in a cooperative answering context.

[BibT_eX]

[DOI]

Decis. Support Syst., 1991

Logic Hints and Security in Relational Databases.

[BibT_eX]

Proceedings of the Database Security, 1991

A Modal Logic Framework to Solve Aggregation Problems.

[BibT_eX]

Proceedings of the Database Security, 1991

A Definition of Secure Dependencies Using the Logic of Security.

[BibT_eX]

[DOI]

Pierre Bieber

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1990

An Epistemic and Deontic Logic for Reasoning about Computer Security.

[BibT_eX]

Proceedings of the ESORICS 90, 1990

1989

How to recognize interesting topics to provide cooperative answering.

[BibT_eX]

[DOI]

Inf. Syst., 1989

Un langage de requêtes pour obtenir des résponses intelligentes.

[BibT_eX]

Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

1988

A Prolog-Relational DBMS Interface Using Delayed Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Cooperative Answering: A Methodology to Provide Intelligent Access to databases.

[BibT_eX]

Proceedings of the Expert Database Systems, 1988

Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives.

[BibT_eX]