On the public citation graph
Security Modeling and Analysis
0 signed · 79 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-61042-1_43openalex-snapshot
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
inferredcites →https://doi.org/10.1109/csf.2010.12openalex-snapshot
Modeling and Verifying Ad Hoc Routing Protocols
inferredcites →https://doi.org/10.1109/csf.2010.13openalex-snapshot
Formal Verification of Privacy for RFID Systems
inferredcites →https://doi.org/10.1109/csf.2010.27openalex-snapshot
Towards a Formal Foundation of Web Security
inferredcites →https://doi.org/10.1109/icwmc.2009.21openalex-snapshot
Towards Formal Analysis of the Permission-Based Security Model for Android
inferredcites →https://doi.org/10.1109/secpri.1997.601329openalex-snapshot
Automated analysis of cryptographic protocols using Murφ
inferredcites →https://doi.org/10.1109/secpri.2003.1199335openalex-snapshot
Specifying and verifying hardware for tamper-resistant software
inferredcites →https://doi.org/10.1145/1189256.1189259openalex-snapshot
Using model checking to find serious file system errors
inferredcites →https://doi.org/10.1145/1455770.1455782openalex-snapshot
Robust defenses for cross-site request forgery
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/503272.503291openalex-snapshot
Predicate abstraction for software verification
inferredcites →https://doi.org/10.3233/jcs-1998-61-205openalex-snapshot
The inductive approach to verifying cryptographic protocols
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/sec.530openalex-snapshot
Immunizing mobile ad hoc networks against collaborative attacks using cooperative immune model
inferred← citeshttps://doi.org/10.1007/978-1-4614-7597-2_1openalex-snapshot
Towards Fundamental Science of Cyber Security
inferred← citeshttps://doi.org/10.1007/978-3-030-12786-2_11openalex-snapshot
An Experimental Evaluation of Bow-Tie Analysis for Cybersecurity Requirements
inferred← citeshttps://doi.org/10.1007/978-3-030-16458-4_23openalex-snapshot
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness
inferred← citeshttps://doi.org/10.1007/978-3-030-42058-1_5openalex-snapshot
An Extension of Formal Analysis Method with Reasoning for Anonymity
inferred← citeshttps://doi.org/10.1007/978-3-031-16245-9_2openalex-snapshot
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-74860-3_3openalex-snapshot
Visualizing Cyber Security Risks with Bow-Tie Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-34447-3_35openalex-snapshot
Security Software Formal Modeling and Verification Method Based on UML and Z
inferred← citeshttps://doi.org/10.1007/978-81-322-2674-1_54openalex-snapshot
Enhanced and Secure Query Services in Cloud with Perfect Data Privacy for the Data Owner
inferred← citeshttps://doi.org/10.1007/978-981-10-1536-6_35openalex-snapshot
Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-981-10-5041-1_87openalex-snapshot
A Supporting Environment for Formal Analysis of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1016/j.jnca.2015.09.014openalex-snapshot
A cyber-resilient architecture for critical security services
inferred← citeshttps://doi.org/10.1016/j.procs.2016.09.289openalex-snapshot
A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification
inferred← citeshttps://doi.org/10.1108/ics-11-2018-0132openalex-snapshot
An experimental evaluation of bow-tie analysis for security
inferred← citeshttps://doi.org/10.1108/jsit-08-2019-0157openalex-snapshot
Effects of culture on graphical password image selection and design
inferred← citeshttps://doi.org/10.1109/access.2019.2920675openalex-snapshot
Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache
inferred← citeshttps://doi.org/10.1109/access.2025.3574256openalex-snapshot
Joint Security and Dependability Modeling: An Updated Overview
inferred← citeshttps://doi.org/10.1109/cis.2016.0138openalex-snapshot
A Formal Analysis Method with Reasoning for Cryptographic Protocols
inferred← citeshttps://doi.org/10.1109/cvprw.2018.00209openalex-snapshot
Human Perceptions of Sensitive Content in Photos
inferred← citeshttps://doi.org/10.1109/embc.2012.6346169openalex-snapshot
Device interoperability and authentication for telemedical appliance based on the ISO/IEEE 11073 personal health device (PHD) standards
inferred← citeshttps://doi.org/10.1109/iccse.2012.34openalex-snapshot
Supporting Security Engineering at Design Time with Adequate Tooling
inferred← citeshttps://doi.org/10.1109/icices.2014.7033786openalex-snapshot
A survey and vital analysis of various state of the art solutions for web application security
inferred← citeshttps://doi.org/10.1109/icissec.2015.7371032openalex-snapshot
Securing Software Application Chains in a Cloud
inferred← citeshttps://doi.org/10.1109/isgt49243.2021.9372271openalex-snapshot
Security Threat Modeling for Power Transformers in Cyber-Physical Environments
inferred← citeshttps://doi.org/10.1109/lars-sbr.2016.28openalex-snapshot
The Impact of DoS Attacks on the AR.Drone 2.0
inferred← citeshttps://doi.org/10.1109/models-c53483.2021.00048openalex-snapshot
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering
inferred← citeshttps://doi.org/10.1109/rcis.2018.8406673openalex-snapshot
Semantic integration of security knowledge sources
inferred← citeshttps://doi.org/10.1109/smartworld.2018.00071openalex-snapshot
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning
inferred← citeshttps://doi.org/10.1109/sp.2017.38openalex-snapshot
SoK: Science, Security and the Elusive Goal of Security as a Scientific Pursuit
inferred← citeshttps://doi.org/10.1109/tkde.2012.251openalex-snapshot
Building Confidential and Efficient Query Services in the Cloud with RASP Data Perturbation
inferred← citeshttps://doi.org/10.1109/ton.2025.3628015openalex-snapshot
On the Complexity of Sabotage Games for Network Security
inferred← citeshttps://doi.org/10.1109/wfcs.2018.8402337openalex-snapshot
Modelling and automatic mapping of cyber security requirements for industrial applications: Survey, problem exposition, and research focus
inferred← citeshttps://doi.org/10.1109/wicsa-ecsa.212.54openalex-snapshot
An Architectural Approach for Cost Effective Trustworthy Systems
inferred← citeshttps://doi.org/10.1145/2103380.2103434openalex-snapshot
The investigation of the structural properties of machines for the design of secure and trustworthy systems
inferred← citeshttps://doi.org/10.1145/2934466.2966353openalex-snapshot
Towards systematically addressing security variability in software product lines
inferred← citeshttps://doi.org/10.1145/3079368.3079393openalex-snapshot
A Modular Meta-model for Security Solutions
inferred← citeshttps://doi.org/10.1145/3152042.3152080openalex-snapshot
CPS-based Threat Modeling for Critical Infrastructure Protection
inferred← citeshttps://doi.org/10.1145/3243734.3243752openalex-snapshot
Detecting Attacks Against Robotic Vehicles
inferred← citeshttps://doi.org/10.1145/3376123openalex-snapshot
Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems
inferred← citeshttps://doi.org/10.1184/r1/6623465openalex-snapshot
Measuring Attack Surface in Software Architecture (CMU-ISR-11-121)
inferred← citeshttps://doi.org/10.14257/ijsia.2014.8.2.15openalex-snapshot
A Practical Decision-Making Model for Security Products Preference
inferred← citeshttps://doi.org/10.14419/ijet.v7i3.27.17998openalex-snapshot
Building Confidential and Efficient Query Services in the Cloud with RASP Data Perturbation
inferred← citeshttps://doi.org/10.1504/ijaacs.2017.082741openalex-snapshot
Attack surface-based security metric framework for service selection and composition
inferred← citeshttps://doi.org/10.15623/ijret.2015.0404035openalex-snapshot
BUILDING CONFIDENTIAL AND EFFICIENT QUERY SERVICES IN THE CLOUD WITH RASP DATA PERTURBATION
inferred← citeshttps://doi.org/10.15680/ijircce.2015.0304046openalex-snapshot
Exploiting RASP Data Perturbation to BuildConfidential Query Services in the Cloud
inferred← citeshttps://doi.org/10.15680/ijirset.2015.0404025openalex-snapshot
Generalizing the Optimality of Multi-Step k-NN Query Processing with RASP Data Perturbation in the Cloud
inferred← citeshttps://doi.org/10.17148/ijarcce.2015.45143openalex-snapshot
Cloud Based Solutions to Safeguard Data Transfer
inferred← citeshttps://doi.org/10.17762/ijcnis.v11i1.3969openalex-snapshot
Evaluation of DoS attacks on Commercial Wi-Fi-Based UAVs
inferred← citeshttps://doi.org/10.17762/ijritcc2321-8169.1503133openalex-snapshot
Preserving Data Confidentiality and Query Privacy Using KNNR Approach
inferred← citeshttps://doi.org/10.18535/ijecs/v4i10.13openalex-snapshot
Security Mechanism for Authentication
inferred← citeshttps://doi.org/10.18535/ijetst/v2i9.08openalex-snapshot
Brand New Query Processing Using Seed Block Algorithm on Cloud Storage
inferred← citeshttps://doi.org/10.21275/v4i12.nov152298openalex-snapshot
To Secure Query Services in the Cloud with RASP Data Perturbation
inferred← citeshttps://doi.org/10.26634/jcc.3.2.8166openalex-snapshot
PROVIDING SECURITY TO THE USER DATA IN CLOUD
inferred← citeshttps://doi.org/10.30534/ijatcse/2021/441022021openalex-snapshot
Pattern Image based Dynamic Framework for Security in Web Application
inferred← citeshttps://doi.org/10.32628/cseit206543openalex-snapshot
A Survey on Web Application Security
inferred← citeshttps://doi.org/10.3850/978-981-07-1403-1_577openalex-snapshot
A Secure Model for Distribute Multimedia Document, based on Object Extraction of Data Content
inferred← citeshttps://doi.org/10.3934/amc.2013.7.1openalex-snapshot
Another look at security definitions
inferred← citeshttps://doi.org/10.48550/arxiv.1512.00407openalex-snapshot
Science of Cyber Security as a System of Models and Problems
inferred← citeshttps://doi.org/10.5220/0005790304980502openalex-snapshot
A Threat Analysis Model for Identity and Access Management
inferred← citeshttps://doi.org/10.52458/978-81-955020-5-9-78openalex-snapshot
A Finger Vein Pattern Recognition System Using ROI Extraction and Convolution Neural Network
inferred← citeshttps://doi.org/10.70675/b794d48czee95z4330zb2aazfc122fa99368openalex-snapshot
Verification and test of interoperability security policies
inferred← citeshttps://doi.org/10.7249/rr2703openalex-snapshot
Measuring Cybersecurity and Cyber Resiliency
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.