On the public citation graph
ISOTOP
0 signed · 48 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-44594-3openalex-snapshot
Design and applications of intelligent agents : third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Melbourne, Australia, August 28-29, 2000 : proceedings
inferredcites →https://doi.org/10.1007/978-1-4471-0335-6openalex-snapshot
Mathematical Logic for Computer Science
inferredcites →https://doi.org/10.1007/978-3-030-02744-5openalex-snapshot
Network and System Security
inferredcites →https://doi.org/10.1007/978-3-319-11698-3_1openalex-snapshot
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
inferredcites →https://doi.org/10.1007/978-3-319-45744-4_3openalex-snapshot
Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack
inferredcites →https://doi.org/10.1007/978-3-642-23822-2_22openalex-snapshot
Automated Information Flow Analysis of Virtualized Infrastructures
inferredcites →https://doi.org/10.1007/s10601-012-9121-3openalex-snapshot
An overview of parallel SAT solving
inferredcites →https://doi.org/10.1016/j.comnet.2009.10.017openalex-snapshot
A survey of network virtualization
inferredcites →https://doi.org/10.1016/s1353-4858(02)06003-8openalex-snapshot
Cisco switches become even more intelligent
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/cloudcom.2015.80openalex-snapshot
Security Compliance Auditing of Identity and Access Management in the Cloud: Application to OpenStack
inferredcites →https://doi.org/10.1109/comst.2016.2556979openalex-snapshot
A Survey of Network Isolation Solutions for Multi-Tenant Data Centers
inferredcites →https://doi.org/10.1109/csf.2015.8openalex-snapshot
Analyzing First-Order Role Based Access Control
inferredcites →https://doi.org/10.1109/icnp.2013.6733614openalex-snapshot
Real-time verification of network properties using Atomic Predicates
inferredcites →https://doi.org/10.1109/ifipnetworking.2016.7497251openalex-snapshot
Efficient virtual network isolation in multi-tenant data centers on commodity ethernet switches
inferredcites →https://doi.org/10.1109/mic.2012.14openalex-snapshot
Security Challenges for the Public Cloud
inferredcites →https://doi.org/10.1145/1653662.1653687openalex-snapshot
Hey, you, get off of my cloud
inferredcites →https://doi.org/10.1145/2018436.2018470openalex-snapshot
Debugging the data plane with anteater
inferredcites →https://doi.org/10.1145/2043164.2018470openalex-snapshot
Debugging the data plane with anteater
inferredcites →https://doi.org/10.1145/2046660.2046672openalex-snapshot
Automated verification of virtualized infrastructures
inferredcites →https://doi.org/10.1145/2484402.2484406openalex-snapshot
Characterizing hypervisor vulnerabilities in cloud computing servers
inferredcites →https://doi.org/10.1145/2774993.2775067openalex-snapshot
Identifying SDN state inconsistency in OpenStack
inferredcites →https://doi.org/10.1145/2785966openalex-snapshot
Model Checking Distributed Mandatory Access Control Policies
inferredcites →https://doi.org/10.1145/2818000.2818034openalex-snapshot
Proactive Security Analysis of Changes in Virtualized Infrastructures
inferredcites →https://doi.org/10.1145/2857705.2857721openalex-snapshot
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud
inferredcites →https://doi.org/10.1186/2192-113x-1-9openalex-snapshot
An agent based business aware incident detection system for cloud environments
inferredcites →https://doi.org/10.14722/ndss.2015.23064openalex-snapshot
SPHINX: Detecting Security Attacks in Software-Defined Networks
inferredcites →https://doi.org/10.5555/2616448.2616457openalex-snapshot
Libra: divide and conquer to verify forwarding tables in huge networks
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-030-18419-3_5openalex-snapshot
Cloud Security Auditing: Major Approaches and Existing Challenges
inferred← citeshttps://doi.org/10.1007/978-3-030-29962-0_12openalex-snapshot
Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement
inferred← citeshttps://doi.org/10.1007/978-3-030-88381-2_11openalex-snapshot
SECURITY AUDITING OF INTERNET OF THINGS DEVICES IN A SMART HOME
inferred← citeshttps://doi.org/10.1007/978-3-031-17143-7_23openalex-snapshot
MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)
inferred← citeshttps://doi.org/10.1007/s40860-020-00120-3openalex-snapshot
Big data in cybersecurity: a survey of applications and future trends
inferred← citeshttps://doi.org/10.1007/s42045-020-00028-9openalex-snapshot
A multi-level proactive security auditing framework for clouds through automated dependency building
inferred← citeshttps://doi.org/10.1016/j.comnet.2021.108288openalex-snapshot
NFV security survey in 5G networks: A three-dimensional threat taxonomy
inferred← citeshttps://doi.org/10.1016/j.jnca.2021.103167openalex-snapshot
Strategizing secured image storing and efficient image retrieval through a new cloud framework
inferred← citeshttps://doi.org/10.1109/cloudcom.2019.00034openalex-snapshot
Modeling NFV Deployment to Identify the Cross-Level Inconsistency Vulnerabilities
inferred← citeshttps://doi.org/10.1109/cloudcom49646.2020.00003openalex-snapshot
NFVGuard: Verifying the Security of Multilevel Network Functions Virtualization (NFV) Stack
inferred← citeshttps://doi.org/10.1109/cns48642.2020.9162251openalex-snapshot
Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack
inferred← citeshttps://doi.org/10.1109/icws60048.2023.00022openalex-snapshot
VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks
inferred← citeshttps://doi.org/10.1109/tdsc.2020.3037022openalex-snapshot
Cross-VM Network Channel Attacks and Countermeasures Within Cloud Computing Environments
inferred← citeshttps://doi.org/10.1109/tdsc.2024.3524128openalex-snapshot
Cross-Level Security Verification for Network Functions Virtualization (NFV)
inferred← citeshttps://doi.org/10.1145/3522582openalex-snapshot
A Survey of Practical Formal Methods for Security
inferred← citeshttps://doi.org/10.14569/ijacsa.2023.0140310openalex-snapshot
Self-Adapting Security Monitoring in Eucalyptus Cloud Environment
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.