security

biblio

Toward a Science of Secure Environments

Submitted by BrandonB on Thu, 04/30/2015 - 11:59am

environmental security
Systems Security
software security
security of data
security
secure environments
Science of Security
optimisation
network security
modeling
fundamental science
formal security
agile systems
detection mechanisms
Decision Making
cyber-decision-making
cyber security collaborative research alliance
cyber environment
continuous optimization problem
computer security
Computational modeling
Communities
Approximation methods

biblio

Secure Estimation in the Presence of Integrity Attacks

Submitted by BrandonB on Thu, 04/30/2015 - 11:47am

minimisation
worst-case expected cost minimization
Vectors
true state value
symmetric estimator
state estimation
sensors
security
secure estimation
scalar state estimation
Robustness
optimal worst-case estimator
monotone estimator
a-priori information
minimax techniques
minimax optimization
measurement value
local estimators
integrity attack presence
Gaussian processes
Gaussian measurements
fault tolerance
explicit analysis
estimation
Cryptography
Cost function

biblio

Security architecture for at-home medical care using Wireless Sensor Network

Submitted by BrandonB on Thu, 04/30/2015 - 11:46am

low-energy secure data transmission
wireless sensor networks
vital health parameter continuous monitoring
Servers
sensors
security architecture
security
patient monitoring
MWSN
medical wireless sensor network
Medical services
medical data sensors
at-home medical care
hospitals
hospital wireless networks
healthcare industries
health care
encryption
distributed wireless sensor network technologies
Data Transmission
Cryptography
compressed sensing-encryption
compressed sensing
body sensor networks

biblio

Optimality of the product-matrix construction for secure MSR regenerating codes

Submitted by BrandonB on Thu, 04/30/2015 - 11:40am

MSR point
Upper bound
security
Secure regenerating codes
secure MSR regenerating codes
repair traffic
regenerating codes
Random variables
product-matrix construction
product matrix construction
product matrix
Bandwidth
MSR codes
minimum storage regenerating point
matrix algebra
maintenance engineering
exact repair regenerating code security
Entropy
encoding
eavesdropper
data file
Data collection

biblio

An Integrated WSAN and SCADA System for Monitoring a Critical Infrastructure

Submitted by BrandonB on Thu, 04/30/2015 - 11:07am

power system measurement
wireless sensor networks
wireless sensor and actuator networks (WSAN)
wireless sensor and actuator networks
Web-based SCADA
web services
surveillance
supervisory control and data acquisition systems
supervisory control and data acquisition (SCADA) systems
Substations
security
SCADA systems
SCADA system
remote monitoring
Protocols
actuators
power grids
power engineering computing
multihop WSAN
Monitoring
Logic gates
internet
integrated WSAN
gateway
electrical power grid
critical infrastructures
critical infrastructure monitoring
Critical infrastructure (CI) monitoring
control engineering computing
CI

biblio

Adaptive Intrusion Detection of Malicious Unmanned Air Vehicles Using Behavior Rule Specifications

Submitted by BrandonB on Thu, 04/30/2015 - 10:58am

malicious unmanned air vehicles
Weapons
unmanned air vehicles (UAVs)
uav
sensors
security of data
security
reckless attacker behaviors
random attacker behaviors
Pricing
opportunistic attacker behaviors
multiagent system
multi-agent systems
Monitoring
actuators
malicious attacks
Intrusion Detection
IDS
Gears
distributed system
BRUIDS
behavior rule specifications
autonomous aerial vehicles
ant-colony clustering model
ant colony optimisation
airborne system
adaptive intrusion detection

biblio

Detection of Faults and Attacks Including False Data Injection Attack in Smart Grid Using Kalman Filter

Submitted by BrandonB on Thu, 04/30/2015 - 10:56am

Kalman filters
χ2-detector
state processes
smart-grid systems security
smart power grids
Smart Grids
security
robust security framework
random attack
predictor variables
power system security
power engineering computing
Mathematical model
communication infrastructure
Kalman filter smart grid
Kalman filter
fault diagnosis
false data-injection attack
false data injection attack
Euclidean detector
DoS attack
Detectors
dependent variables
denial-of-service attack
Cyber Physical System
computer network security

biblio

Combating False Data Injection Attacks in Smart Grid using Kalman Filter

Submitted by BrandonB on Thu, 04/30/2015 - 10:55am

Kalman filters
χ2-square detector
state process
smart power grids
smart power grid security
Smart Grids
sensors
security
predictor variable series
power system state estimation
power system security
power system faults
power system
power engineering computing
Mathematical model
actuators
Kalman filter
fault diagnosis
fault detection
false data injection attack detection
Euclidean distance metrics
Euclidean detector
Equations
electric sensing devices
DoS attacks
Detectors
control systems
computer network security
communication infrastructure

file

Accelerating Innovation in Security and Privacy Technologies_Shannon.pptx

Submitted by Anonymous on Thu, 04/09/2015 - 11:16am

IEEE Cybersecurity Initiative (CybSI) Accelerating Innovation in Security & Privacy Technologies

Greg Shannon, IEEE CybSI Chair ( shannon at cert dot org )

Chief Scientist, CERT Division, Software Engineering Institute at Carnegie Mellon University

Cybersecurity
CybSI
IEEE
privacy
security
ACT2015
Presentations
2015
Presentation

forum

CfP: High Confidence Software and Systems Conference (2015)

Submitted by Katie Dey on Thu, 01/15/2015 - 9:43am

The Fifteenth Annual HCSS Conference (2015)

Call for Presentations

Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Foundations
privacy
tool qualification
sustainable integrity
Designed-In Security
proof engineering
CPS
security
resilience
formal methods
root of trust
Theorem Proving
Separation Logic
Announcement

« first
‹ previous
…
433
434
435
436
437
438
439
440
441
…
next ›
last »

Cyber-Physical Systems Virtual Organization

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

security

Toward a Science of Secure Environments

Secure Estimation in the Presence of Integrity Attacks

Security architecture for at-home medical care using Wireless Sensor Network

Optimality of the product-matrix construction for secure MSR regenerating codes

An Integrated WSAN and SCADA System for Monitoring a Critical Infrastructure

Adaptive Intrusion Detection of Malicious Unmanned Air Vehicles Using Behavior Rule Specifications

Detection of Faults and Attacks Including False Data Injection Attack in Smart Grid Using Kalman Filter

Combating False Data Injection Attacks in Smart Grid using Kalman Filter

Accelerating Innovation in Security and Privacy Technologies_Shannon.pptx

CfP: High Confidence Software and Systems Conference (2015)