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
Science of Security
biblio
Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Submitted by grigby1 on Thu, 12/28/2017 - 1:34pm
Monitoring
Wearable devices
software reliability
Software
self-driving cars
Science of Security
Scalability
safety-critical software
safety critical contexts
robotic assistants
Resiliency
Quantitative Verification
pubcrawl
Probabilistic logic
Policy-Governed Secure Collaboration
Adaptation models
Metrics
Markov processes
internet
implantable devices
Human Factors
Human behavior
formal verification
factory automation systems
cyber-physical systems
composability
collaboration
business-critical contexts
Biomedical monitoring
biblio
A Data Driven Approach for the Science of Cyber Security: Challenges and Directions
Submitted by grigby1 on Thu, 12/28/2017 - 1:34pm
Metrics
Trusted Computing
sos
security of data
Security Metrics
Science of Security
science of cyber security
Scalability
risk-based approach
Resiliency
pubcrawl
Policy-Governed Secure Collaboration
policy-based sharing
Ontologies
Attack detection
Measurement
Human Factors
Human behavior
Forensics
data trustworthiness
data driven science
data driven approach
Context
computer security
composability
collaboration
cognition
attack mitigation
biblio
Accounting for the Human User in Predictive Security Models
Submitted by grigby1 on Thu, 12/28/2017 - 1:30pm
security breaches
predictive security metrics
predictive security models
psychology
pubcrawl
quantitative security metrics
Science of Security
secure system
Security Audits
Predictive Metrics
security designs
Security Metrics
security of data
security researchers
social sciences
software metrics
system security
User behavior
General Deterrence Theory
Computational modeling
Computer crime
computer security
Computer simulation
Computers
Computing Theory
Cyber Attacks
cyber system
accounting
Human behavior
Human Factors
human user
Measurement
Metrics
modeling
Organizations
password security requirements policy
biblio
Research on the design and implementation of two dimensional hyper chaotic sequence cipher algorithm
Submitted by grigby1 on Wed, 12/27/2017 - 1:08pm
Algorithm design and analysis
Builder FPGA
chaotic communication
chaotic cryptography
Chaotic sequence generator
Ciphers
component
composability
encryption
Entropy
Metrics
pubcrawl
Resiliency
Science of Security
Sequence cipher
Two dimensional hyper chaos
biblio
Differentially Private Objective Functions in Distributed Cloud-based Optimization
Submitted by thurlwel on Tue, 10/24/2017 - 5:36pm
Science of Security
biblio
ADaCS: A Tool for Analysing Data Collection Strategies
Submitted by thurlwel on Tue, 10/24/2017 - 5:07pm
Science of Security
attack trees
Data collection
experiment design
risk management
Science of Security
Security modeling
UIUC
UIUC
biblio
An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement
Submitted by thurlwel on Tue, 10/24/2017 - 4:38pm
Science of Security
advanced persistent threat
advanced persistent threats
Anomaly Detection
command and control
lateral movement
pubcrawl
Science of Security
file
Wagner_Adv_Persistent_Threat_DG.pdf
Submitted by Jamie Presken on Thu, 10/12/2017 - 8:03am
CMU
October'17
Science of Security
biblio
An Advanced Persistent Threat Exemplar
Submitted by Jamie Presken on Thu, 10/12/2017 - 8:01am
CMU
October'17
Science of Security
CMU
October'17
file
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs
Submitted by thurlwel on Fri, 09/01/2017 - 2:21pm
insider threat
Intrusion Detection
physical access
Physical movement
Science of Security
User behavior
Hard Problems
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
…
next ›
last »
