Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Safety
biblio
Collaborative security attack detection in software-defined vehicular networks
Submitted by grigby1 on Fri, 02/02/2018 - 12:14pm
security attacks
wireless communication technologies
Wireless communication
vehicular environment
vehicular ad hoc networks
VANET
V2X communication
Training
Support vector machines
support vector machine
software-defined vehicular networks
Software-defined vehicular cloud
software defined networking
short connection time
security threats
security mechanism
Ad Hoc Network Security
security
safety services
Safety
Resiliency
pubcrawl
multiclass support vector machine
Human Factors
Human behavior
computer network security
composability
Communication system security
communication devices
collaborative security attack detection mechanism
collaboration
automotive industry
biblio
Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper)
Submitted by grigby1 on Fri, 02/02/2018 - 12:14pm
Ad Hoc Network Security
composability
delays
game theory
Games
Human behavior
Human Factors
Protocols
pubcrawl
Resiliency
Safety
security
biblio
A dynamic scalable scheme for managing mixed crowds
Submitted by grigby1 on Tue, 01/23/2018 - 3:01pm
Resiliency
Urban areas
traffic management context
traffic engineering computing
spontaneous notifications
spontaneous alerts
social networks
social networking (online)
Smartphones
smart phones
smart infrastructure
sensors
Safety
Roads
Automated Response Actions
real-time systems
pubcrawl
prompt emergency response
mixed crowd management
MDP decomposition
Markov processes
Markov decision process scheme
emergency management
dynamic scalable scheme
crowd safety
composability
Buildings
biblio
Secure Compilation and Hyperproperty Preservation
Submitted by grigby1 on Wed, 01/10/2018 - 11:19am
Safety
untyped target language
typed source language
Type theory
trace-preserving compilation
TPC
Syntactics
standards
Semantics
Security Properties
security of data
security
secure compilers
secure compilation
safety hyperproperties
coding theory
Resiliency
pubcrawl
program verification
Program processors
program compilers
low-level attack capabilities
hyperproperty preservation
fully abstract compiler
correctness criterion
Concrete
composability
compiler security
compiled program
biblio
Jasmin: High-Assurance and High-Speed Cryptography
Submitted by grigby1 on Wed, 01/10/2018 - 11:18am
pubcrawl
Resiliency
composability
Safety
constant-time security
Cryptographic Implementations
verified compiler
compiler security
biblio
An Intrusion Tolerance Scheme for a Cloud of Databases Environment
Submitted by grigby1 on Thu, 12/28/2017 - 12:21pm
malicious activity
XML
Wireless communication
transaction serializability
transaction processing
transaction dependency graph
subtransactions
serializability
security of data
security
Safety
running system serialization
Resiliency
pubcrawl
processing node
malicious transactions
CDC
intrusion tolerance scheme
intrusion tolerance
graph theory
estimation
dependency
Decision Making
databases environment cloud
Databases
database management systems
Data models
concurrent access
composability
Cloud of databases environment
Cloud Computing
biblio
A Distributed Intrusion Detection System for Cognitive Radio Networks Based on Evidence Theory
Submitted by K_Hooper on Wed, 12/20/2017 - 10:29am
inference mechanisms
uncertainty handling
telecommunication computing
sensors
security of data
Safety
Resiliency
Reliability
pubcrawl
local IDS agent
local detection decisions
Intrusion Detection
Base stations
IDS Agent
distributed intrusion detection system
Dempster-Shafer's evidence theory
Dempster-Shafer evidence theory
Data collection
D-S evidence theory
CRN
cooperative detection center
Cognitive Radio Security
cognitive radio networks
cognitive radio
biblio
Research and Construction of Dynamic Awareness Security Protection Model Based on Security Policy
Submitted by grigby1 on Tue, 12/12/2017 - 12:31pm
authentication
collaboration
data acquisition
dynamic awareness
Electric power SCADA
Monitoring
network dynamics
policy-based governance
power systems
pubcrawl
Safety
SCADA systems
SCADA Systems Security
security
Security Policies Analysis
security policy
biblio
Scalable and privacy-preserving authentication protocol for secure vehicular communications
Submitted by grigby1 on Fri, 11/03/2017 - 10:31am
Safety
vehicular communications security
vehicular ad hoc networks
vehicle to vehicle communications
vehicle to infrastructure communications
VANETs
VANET
V2V
V2I
symmetric hash message authentication code
symmetric cryptography
security
Scalable Security
scalable and privacy-preserving authentication protocol
Scalability
asymmetric cryptography
public-key infrastructure
public key cryptography
pubcrawl
Protocols
privacy-preserving authentication protocol
privacy
PKI-based authentication protocols
PKI
message authentication
ESPA protocol
efficient
Cryptography
Cryptographic Protocols
authentication
biblio
Closing the Barn Door: Re-Prioritizing Safety, Security, and Reliability
Submitted by grigby1 on Mon, 05/22/2017 - 12:58pm
collaboration
education
Human Factors
Metrics
Modula-2
pubcrawl
Reliability
Resiliency
safe coding standards
Safety
security
software engineering
« first
‹ previous
…
29
30
31
32
33
34
35
36
37
next ›
last »
