↓ Skip to main content
What is this page? Embed badge

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs

Overview of attention for book
Cover of 'Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Verification of Liferay RBAC
  3. Altmetric Badge
    Chapter 2 Formal Verification of Privacy Properties in Electric Vehicle Charging
  4. Altmetric Badge
    Chapter 3 Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs
  5. Altmetric Badge
    Chapter 4 Idea: State-Continuous Transfer of State in Protected-Module Architectures
  6. Altmetric Badge
    Chapter 5 Are Your Training Datasets Yet Relevant?
  7. Altmetric Badge
    Chapter 6 Learning How to Prevent Return-Oriented Programming Efficiently
  8. Altmetric Badge
    Chapter 7 Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores
  9. Altmetric Badge
    Chapter 8 Idea: Optimising Multi-Cloud Deployments with Security Controls as Constraints
  10. Altmetric Badge
    Chapter 9 Idea: Towards an Inverted Cloud
  11. Altmetric Badge
    Chapter 10 OMEN: Faster Password Guessing Using an Ordered Markov Enumerator
  12. Altmetric Badge
    Chapter 11 The Heavy Tails of Vulnerability Exploitation
  13. Altmetric Badge
    Chapter 12 Idea: Benchmarking Indistinguishability Obfuscation – A Candidate Implementation
  14. Altmetric Badge
    Chapter 13 A Security Ontology for Security Requirements Elicitation
  15. Altmetric Badge
    Chapter 14 Producing Hook Placements to Enforce Expected Access Control Policies
  16. Altmetric Badge
    Chapter 15 Improving Reuse of Attribute-Based Access Control Policies Using Policy Templates
  17. Altmetric Badge
    Chapter 16 Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • Good Attention Score compared to outputs of the same age (77th percentile)
  • Good Attention Score compared to outputs of the same age and source (65th percentile)

Mentioned by

twitter
1 X user
patent
1 patent
wikipedia
1 Wikipedia page

Readers on

mendeley
119 Mendeley
Summary X Patents Wikipedia

This page is provided by Altmetric.