Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

SCSS 2017: Volume Information

SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017

Editors: Mohamed Mosbah and Michael Rusinowitch

EPiC Series in Computing•Volume 45

12 articles•132 pages•Published: March 26, 2017

Papers

Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications

David Cerna and Wolfgang Schreiner

1-15

Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage

Seyed Hossein Haeri and Sibylle Schupp

16-28

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions

Jon Hael Brenas, Rachid Echahed and Martin Strecker

29-41

Asynchronous testing of real-time systems

42-48

Transforming Prefix-constrained or Controlled Rewrite Systems

Nirina Andrianarivelo, Vivien Pelletier and Pierre Réty

49-62

Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors

Jaweher Zouari, Mohamed Hamdi and Tai-Hoon Kim

63-67

Automatic detection and correction of firewall misconfigurations- A formal approach

Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula

68-76

Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems

Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaidi and Adel Bouhoula

77-82

Origami folds in higher-dimension

Tetsuo Ida and Stephen Watt

83-95

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah

96-106

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems

Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari

107-119

A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment

Faouzi Jaidi, Faten Labbene Ayachi and Adel Bouhoula

120-132

Keyphrases

access control², Access Control Policy, approximation, Asynchronous testing, completeness, component-based software engineering, computational origami, Controlled rewrite system, correct-by-construction, distributed algorithm, dynamic logic, enumeration problem, Euclidean geometry, Event-B, expression problem, FDD, Feature-Oriented Programming, Firewall, formal analysis, Formal Verification and Validation, Fuzzy Extractor, geometric modeling, Higher dimensional geometry, Hoare logic, Information Systems Security, Local computations, mathematical origami, Misconfiguration, Mobile Social Networks, multi-threading, parallel model checking, predicate logic, Prefix-constrained rewrite system, Privacy, program verification, proximity, Risk, risk assessment², risk management, runtime verification, social profile, soundness, space complexity, Stream Monitoring, symbolic reachability, Synchronous testing, term rewriting, termination, test generation.