Mathematical model

biblio

Revisiting Security Risks of Asymmetric Scalar Product Preserving Encryption and Its Variants

Submitted by grigby1 on Mon, 04/02/2018 - 11:49am

internet
Servers
security risks
scalar product preserving encryption
Resiliency
resilience
query answering
pubcrawl
product preservation property
outsourcing
Metrics
Mathematical model
ASPE
Indexes
Human behavior
encryption
Cryptography
confidential information
Compositionality
Cloud Computing
ciphertexts
asymmetric scalar-product-preserving encryption
Asymmetric Encryption

biblio

Boosting Anonymity in Wireless Sensor Networks

Submitted by grigby1 on Mon, 04/02/2018 - 11:30am

resilience
wireless sensor networks
Wireless Sensor Network
traffic pattern
telecommunication security
telecommunication network topology
sensor nodes
security
Routing
ring nodes
Resiliency
anonymity
pubcrawl
privacy
Monitoring
Mobile communication
mobile BS
Metrics
Mathematical model
Human behavior
composability
base station

biblio

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction

Submitted by grigby1 on Mon, 03/26/2018 - 11:55am

QoS
web services
Web Service
web of trust
Trusted Computing
trust-aware collaborative filtering
trust-aware
Resiliency
resilience
recommender systems
quality of service
QoS prediction
Cloud Computing
pubcrawl
Prediction algorithms
Mathematical model
location-based collaborative filtering
location
internet
geographical location
composability
collaborative filtering
collaboration

biblio

Power Grid State Estimation after a Cyber-Physical Attack under the AC Power Flow Model

Submitted by grigby1 on Mon, 03/19/2018 - 12:59pm

Metrics
state estimation
Scalability
Resiliency
resilience
pubcrawl
power transmission control
power system state estimation
power grids
power grid state estimation
Phase measurement
phase angle measurements
optimization
Numerical models
AC power flow model
Mathematical model
load flow control
line failures detection problem
IEEE 300-bus systems
IEEE 118-bus systems
Human behavior
failure analysis
Cyber-physical attack
convex programming
convex optimization problem
Convex functions
Adversary Models

biblio

Optimal Cyber-Defense Strategies for Advanced Persistent Threats: A Game Theoretical Analysis

Submitted by grigby1 on Mon, 03/19/2018 - 12:55pm

Mathematical model
zero-sum repeated game
Zero-Sum Games
security of data
security
Scalability
Resiliency
resilience
rational strategy
rational attacker
pubcrawl
optimal cyber-defense strategies
network security
network administrator
Metrics
advanced persistent threats
Human behavior
graph edges
Games
game theory
game theoretical analysis
expressive model
Exponential distribution
defense budget
Data models
cyber attackers
Cyber attack modeling
cognition
budget constrained network administrators

biblio

Analysis of Cyber Physical Systems Security via Networked Attacks

Submitted by grigby1 on Mon, 03/19/2018 - 12:49pm

security
Metrics
MITM
networked attacks
Networked Control System
networked control systems
pubcrawl
resilience
Resiliency
Mathematical model
Security Control
security of data
security perspective
Stealth Attack
system security conditions
telecommunication security
Telecommunications
unified models
cyber-physical systems
actuators
Analytical models
closed-loop security control structure
composability
computer network security
Cyber Attacks
cyber physical systems
Cyber Physical Systems Security
actuator security
defense functions
Denial-of-Service
DoS
Human behavior
information disclosure
Iron
man-in-the-middle attack

biblio

An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks

Submitted by grigby1 on Mon, 03/19/2018 - 12:48pm

Metrics
state estimation
sparse strong observability
SMT-based approach
sensors
sensor attacks
security
secure state estimator
satisfiability modulo theory
Resiliency
resilience
pubcrawl
Observability
actuator attacks
Mathematical model
linear time-invariant system
Linear systems
Human behavior
fault tolerance
computability
composability
adversarial attack
adversarial agent
actuators
actuator security

biblio

Game-Theoretic Analysis of System of Systems with Inherent Robustness Parameters

Submitted by grigby1 on Tue, 02/27/2018 - 1:36pm

Resiliency
interdependent systems of systems
large-scale infrastructures
Mathematical model
Metrics
Nash Equilibrium
probability
pubcrawl
resilience
inherent robustness parameters
Robustness
Scalability
security
social development
sum-form utility functions
system of systems
system parameters
game theory
Biological system modeling
Compositionality
conditional survival probabilities
cost parameters
Cyber Dependencies
cyber-physical systems
defender
economic development
attacker
game-theoretic analysis
Games
Human behavior
Human Factors
independent systems of systems
infrastructure robustness
infrastructure survival probability

biblio

Provable security analysis of complex or smart computer systems in the smart grid

Submitted by grigby1 on Wed, 02/21/2018 - 12:50pm

smart computer systems
power engineering computing
power system security
provable security analysis
pubcrawl
Radiation detectors
resilience
Resiliency
Scalability
security of data
simple promela interpreter
Ports (Computers)
Smart Grid
smart grid security
smart power grids
smart system
SPIN
Temporal Logic
temporal logics
Transition System
TS
Formal Specification
access control mechanism
ACM
authorisation
automata
automata theory
Büchi Automaton
computer security
formal security
formal security analysis
provable security
formal verification
FSA
Linear Temporal Logics
LTL
Mathematical model
Metrics
model checking
operating system
OS

biblio

An interactive, extensible environment for power system simulation on the PMU time frame with a cyber security application

Submitted by grigby1 on Wed, 02/21/2018 - 12:50pm

Phasor measurement units
visualization
smart grid technology
smart grid security
security of data
Scalability
Resiliency
resilience
pubcrawl
power system stability
power system simulation
Power system dynamics
power system control
power grid simulation
PMUs
PMU time frame
c37.118
phasor measurement
Metrics
Mathematical model
Load modeling
interactive environment
interactive control action
interactive control
Generators
extensible environment
Data visualization
data visualisation
cyber security application
cyber security
Computational modeling

« first
‹ previous
…
23
24
25
26
27
28
29
30
31
…
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Mathematical model

Revisiting Security Risks of Asymmetric Scalar Product Preserving Encryption and Its Variants

Boosting Anonymity in Wireless Sensor Networks

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction

Power Grid State Estimation after a Cyber-Physical Attack under the AC Power Flow Model

Optimal Cyber-Defense Strategies for Advanced Persistent Threats: A Game Theoretical Analysis

Analysis of Cyber Physical Systems Security via Networked Attacks

An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks

Game-Theoretic Analysis of System of Systems with Inherent Robustness Parameters

Provable security analysis of complex or smart computer systems in the smart grid

An interactive, extensible environment for power system simulation on the PMU time frame with a cyber security application