On the public citation graph

A framework for automatic generation of security controller

https://doi.org/10.1002/stvr.441
0 signed · 65 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11560586_9openalex-snapshot
Checking Risky Events Is Enough for Local Policies
inferredcites →https://doi.org/10.1007/11563228_19openalex-snapshot
Safety Interfaces for Component-Based Systems
inferredcites →https://doi.org/10.1007/3-540-44612-5_45openalex-snapshot
μ-Calculus Synthesis
inferredcites →https://doi.org/10.1007/3-540-44618-4_9openalex-snapshot
Open Systems in Reactive Environments: Control and Synthesis
inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/3-540-59042-0_76openalex-snapshot
On the synthesis of discrete controllers for timed systems
inferredcites →https://doi.org/10.1007/978-3-540-75227-1_8openalex-snapshot
A Tool for the Synthesis of Controller Programs
inferredcites →https://doi.org/10.1007/bfb0000462openalex-snapshot
Model checking and fault tolerance
inferredcites →https://doi.org/10.1007/bfb0000494openalex-snapshot
Extending process languages with time
inferredcites →https://doi.org/10.1007/bfb0012782openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0023741openalex-snapshot
Synthesizing processes and schedulers from temporal specifications
inferredcites →https://doi.org/10.1007/bfb0090192openalex-snapshot
Proof of proposition 3
inferredcites →https://doi.org/10.1007/s001650200022openalex-snapshot
Distributing Finite Automata Through Petri Net Synthesis
inferredcites →https://doi.org/10.1007/s10207-004-0037-9openalex-snapshot
Automated analysis of timed security: a case study on web privacy
inferredcites →https://doi.org/10.1007/s10207-004-0046-8openalex-snapshot
Edit automata: enforcement mechanisms for run-time security policies
inferredcites →https://doi.org/10.1016/0890-5401(89)90031-xopenalex-snapshot
An automata theoretic decision procedure for the propositional mu-calculus
inferredcites →https://doi.org/10.1016/0890-5401(90)90025-dopenalex-snapshot
CCS expressions, finite state processes, and three problems of equivalence
inferredcites →https://doi.org/10.1016/b978-0-444-82830-9.x5017-6openalex-snapshot
Handbook of Process Algebra
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50024-xopenalex-snapshot
Operational and Algebraic Semantics of Concurrent Processes
inferredcites →https://doi.org/10.1016/b978-044482830-9/50022-9openalex-snapshot
Modal Logics and mu-Calculi: An Introduction
inferredcites →https://doi.org/10.1016/j.entcs.2006.08.029openalex-snapshot
Through Modeling to Synthesis of Security Automata
inferredcites →https://doi.org/10.1016/j.entcs.2007.03.025openalex-snapshot
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
inferredcites →https://doi.org/10.1016/j.entcs.2007.10.013openalex-snapshot
ConSpec – A Formal Language for Policy Specification
inferredcites →https://doi.org/10.1016/j.tcs.2005.11.016openalex-snapshot
Compositional analysis for verification of parameterized systems
inferredcites →https://doi.org/10.1016/s0304-3975(02)00442-5openalex-snapshot
Games for synthesis of controllers with partial observation
inferredcites →https://doi.org/10.1016/s0304-3975(02)00596-0openalex-snapshot
Analysis of security protocols as open systems
inferredcites →https://doi.org/10.1016/s1474-6670(17)30758-9openalex-snapshot
Maximally permissive controllers in all contexts
inferredcites →https://doi.org/10.1016/s1571-0661(04)80518-8openalex-snapshot
Balanced timed regular expressions1 1Partially supported by the European community project IST-2001-35304 AMETIST
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/acc.2005.1470310openalex-snapshot
You can always compute maximally permissive controllers under partial observation when they exist
inferredcites →https://doi.org/10.1109/csfw.1998.683154openalex-snapshot
Partial model checking and theorem proving for ensuring security properties
inferredcites →https://doi.org/10.1109/csfw.2005.17openalex-snapshot
Enforcing Secure Service Composition
inferredcites →https://doi.org/10.1109/jsac.2002.806122openalex-snapshot
Real-time information flow analysis
inferredcites →https://doi.org/10.1109/lics.1995.523274openalex-snapshot
Partial model checking
inferredcites →https://doi.org/10.1145/353323.353382openalex-snapshot
Enforceable security policies
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.3233/fi-1999-38403openalex-snapshot
On the Relationships among four Timed Process Algebras
inferredcites →https://doi.org/10.3233/jcs-1994/1995-3103openalex-snapshot
A Classification of Security Properties for Process Algebras1
inferredcites →https://doi.org/10.3233/jcs-2006-14103openalex-snapshot
Information flow security in dynamic contexts
inferredcites →https://doi.org/10.7146/brics.v2i6.19508openalex-snapshot
A Complete Deductive System for the mu-Calculus
inferredcites →https://doi.org/10.7146/dpb.v22i445.6762openalex-snapshot
Verification of Temporal Properties of Concurrent Systems

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-319-05302-8_11openalex-snapshot
Quantitative Evaluation of Enforcement Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_10openalex-snapshot
Knowledge-Based Automated Repair of Authentication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-07452-8_6openalex-snapshot
On the Synthesis of Secure Services Composition
inferred← citeshttps://doi.org/10.1007/978-3-319-17016-9_15openalex-snapshot
Introducing Probabilities in Controller Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-89960-2_19openalex-snapshot
From Natural Projection to Partial Model Checking and Back
inferred← citeshttps://doi.org/10.1007/978-3-642-33704-8_3openalex-snapshot
From Qualitative to Quantitative Enforcement of Security Policy
inferred← citeshttps://doi.org/10.1007/978-3-642-35702-2_6openalex-snapshot
Testing Web Services in the Cloud
inferred← citeshttps://doi.org/10.1007/978-3-642-53997-8_1openalex-snapshot
Partial Model Checking for the Verification and Synthesis of Secure Service Compositions
inferred← citeshttps://doi.org/10.1007/978-81-322-2464-8_23openalex-snapshot
Large Library-Based Regression Test Cases Minimization for Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/s10817-020-09568-7openalex-snapshot
Natural Projection as Partial Model Checking
inferred← citeshttps://doi.org/10.1007/s40012-013-0023-3openalex-snapshot
Software testing optimization through test suite reduction using fuzzy clustering
inferred← citeshttps://doi.org/10.1016/j.jlap.2011.08.001openalex-snapshot
Synthesis of secure adaptors
inferred← citeshttps://doi.org/10.1109/ares.2013.60openalex-snapshot
Automated Synthesis and Ranking of Secure BPMN Orchestrators
inferred← citeshttps://doi.org/10.1145/1988630.1988634openalex-snapshot
Preserving security properties under refinement
inferred← citeshttps://doi.org/10.1145/2422498.2422508openalex-snapshot
A tool for the synthesis of cryptographic orchestrators
inferred← citeshttps://doi.org/10.1145/3368826.3377905openalex-snapshot
CogniCrypt GEN : generating code for the secure usage of crypto APIs
inferred← citeshttps://doi.org/10.14569/ijacsa.2017.080239openalex-snapshot
Analytical Review on Test Cases Prioritization Techniques: An Empirical Study
inferred← citeshttps://doi.org/10.15439/2017f463openalex-snapshot
Load-balanced Integrated Information Security Monitoring System
inferred← citeshttps://doi.org/10.32890/jict2019.18.1.4openalex-snapshot
SIMILARITY DISTANCE MEASURE AND PRIORITIZATION ALGORITHM FOR TEST CASE PRIORITIZATION IN SOFTWARE PRODUCT LINE TESTING
inferred← citeshttps://doi.org/10.32890/jict2019.18.1.8281openalex-snapshot
SIMILARITY DISTANCE MEASURE AND PRIORITIZATION ALGORITHM FOR TEST CASE PRIORITIZATION IN SOFTWARE PRODUCT LINE TESTING
inferred← citeshttps://doi.org/10.4018/ijsse.2014040103openalex-snapshot
Automated Synthesis and Ranking of Secure BPMN Orchestrators
inferred← citeshttps://doi.org/10.5815/ijieeb.2012.05.01openalex-snapshot
Test Cases Reduction and Selection Optimization in Testing Web Services
inferred← citeshttps://doi.org/10.5937/jemc1901025popenalex-snapshot
The optimal solution to the problems by regression analysis
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.