A |

access control | Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment |

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

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

Asynchronous testing | Asynchronous testing of real-time systems |

C |

completeness | Asynchronous testing of real-time systems |

component-based software engineering | Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage |

computational origami | Origami folds in higher-dimension |

Controlled rewrite system | Transforming Prefix-constrained or Controlled Rewrite Systems |

correct-by-construction | Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques |

D |

distributed algorithm | Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques |

dynamic logic | C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions |

E |

enumeration problem | Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques |

Euclidean geometry | Origami folds in higher-dimension |

Event-B | Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques |

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

F |

FDD | Automatic detection and correction of firewall misconfigurations- A formal approach |

Feature-Oriented Programming | Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage |

Firewall | Automatic detection and correction of firewall misconfigurations- A formal approach |

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

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

Fuzzy Extractor | Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors |

G |

geometric modeling | Origami folds in higher-dimension |

H |

Higher dimensional geometry | Origami folds in higher-dimension |

Hoare logic | C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions |

I |

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

L |

Local computations | Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques |

M |

mathematical origami | Origami folds in higher-dimension |

Misconfiguration | Automatic detection and correction of firewall misconfigurations- A formal approach |

Mobile Social Networks | Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors |

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

P |

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

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

Prefix-constrained rewrite system | Transforming Prefix-constrained or Controlled Rewrite Systems |

Privacy | Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors |

program verification | C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions |

proximity | Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors |

R |

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

risk assessment | Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment |

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

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

S |

social profile | Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors |

soundness | Asynchronous testing of real-time systems |

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

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

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

Synchronous testing | Asynchronous testing of real-time systems |

T |

term rewriting | Transforming Prefix-constrained or Controlled Rewrite Systems |

termination | Transforming Prefix-constrained or Controlled Rewrite Systems |

test generation | Asynchronous testing of real-time systems |