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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
security of data
biblio
Property {Specific Information Flow Analysis} for {Hardware Security Verification}
Submitted by
grigby1
on Mon, 05/20/2019 - 4:30pm
security
security of data
resilience
pubcrawl
Human behavior
Metrics
Scalability
composability
Complexity theory
Hardware
Mathematical model
Trojan horses
collaboration
Acceleration
formal verification
Human Factors
policy-based governance
Hardware Security
Resiliency
Hardware Trojans
Design methodology
hardware information flow analysis
hardware security verification
hardware security vulnerabilities
information flow analysis
information flow models
information flow security
potential security violations
property specific information flow analysis
property specific search
property specific trimming technique
security critical paths
security model
security property
security verification
timing
unintended design flaws
information theoretic security
biblio
Modeling of {Information Processes} for {Modern Information System Security Assessment}
Submitted by
grigby1
on Mon, 05/20/2019 - 4:30pm
security of data
resilience
pubcrawl
Human behavior
Metrics
Scalability
composability
collaboration
Information systems
Probability distribution
probability
estimation
information security
Human Factors
policy-based governance
Resiliency
automata
automata theory
cellular automatons
conflict processes analysis
hybrid automatons
information influence modeling
information system security assessment
modeling conflict
Probability density function
security of information systems
information theoretic security
biblio
A New Version of Kerberos Authentication Protocol Using ECC and Threshold Cryptography for Cloud Security
Submitted by
aekwall
on Mon, 05/20/2019 - 10:03am
security of data
Cloud Computing
Servers
telecommunication security
Cryptographic Protocols
Protocols
Resiliency
Human behavior
pubcrawl
Metrics
authentication
public key cryptography
Elliptic curve cryptography
Kerberos
ECC
Kerberos authentication protocol
security protocols
Cloud Security
high security
protocol
protocol models
RSA
RSA cryptography
securities issues
threshold
threshold cryptography
biblio
A method to detect Internet of Things botnets
Submitted by
aekwall
on Mon, 05/20/2019 - 10:00am
IoT Security 2018
widespread botnets
unauthorized access
main security problems
common characteristics
botnets
Botnet detection
Logistics
Cybersecurity
Metrics
logistic regression
composability
pubcrawl
Human behavior
Resiliency
invasive software
Protocols
performance evaluation
security
malware
IoT devices
Internet of Things
authorisation
computer network security
botnet
security of data
IoT
biblio
A smart middleware to detect on-off trust attacks in the Internet of Things
Submitted by
aekwall
on Mon, 05/20/2019 - 9:57am
security of data
Internet of Things
security
performance evaluation
Trusted Computing
real-time systems
Data models
Resiliency
Human behavior
pubcrawl
composability
Metrics
trust
internet
service providers
complex environment
heterogeneous environment
Internet of Things designs
IoT resources trust
low trust node
malicious device
middleware
node behavior
On-Off Attacks
on-off trust attacks
sensors
service requesters
smart middleware
sophisticated trust threat
IoT Security 2018
biblio
Penetration Testing for Internet of Things and Its Automation
Submitted by
aekwall
on Mon, 05/20/2019 - 9:57am
IoT
security of data
Internet of Things
Hardware
Resiliency
Human behavior
pubcrawl
composability
Metrics
radio frequency identification
internet
Penetration Testing
automation
Systems Security
IoT security
BDI model
belief-desire-intention
belief-desire-intention (BDI) model
GPS
machine to machine technologies
penetration testing approach
radiofrequency identification
RFID
security problems
traditional internet
IoT Security 2018
biblio
A Control Flow Anomaly Detection Algorithm for Industrial Control Systems
Submitted by
grigby1
on Thu, 05/09/2019 - 10:46am
security
security of data
standards
resilience
pubcrawl
Resiliency
Scalability
Business
Anomaly Detection
computer network security
encoding
Industrial Control Systems
industrial control
scalable
control systems
anomaly detection ability analysis
basic group partition method
business programs
control flow
control flow analysis method
control flow anomaly detection algorithm
control flow path
intrusion attack method
path matching
pattern matching
standard path set acquisition
tabbed-assert control flow analysis method
biblio
The Urgency of the Threats of Attacks on Interfaces and Field-Layer Protocols in Industrial Control Systems
Submitted by
grigby1
on Thu, 05/09/2019 - 10:46am
security of data
resilience
pubcrawl
Resiliency
Scalability
Protocols
integrated circuits
sensors
Industrial Control Systems
industrial control
information security systems
scalable
process control
Current loop
Current measurement
HART-protocol
industrial control system
industrial control system field layer
industrial control system information security
biblio
Collaborative Model-Based Fallback Control for Secured Networked Control Systems
Submitted by
grigby1
on Thu, 05/09/2019 - 10:46am
security
security of data
resilience
pubcrawl
Resiliency
Scalability
collaboration
sensors
control engineering computing
Switches
Industrial Control Systems
cyber-attacks
industrial control
scalable
countermeasure
analog signal
collaboration function
Collaborative Fallback Control System
collaborative FCS
collaborative model-based fallback control
field network signal
industrial control system security
multiple countermeasures
networked control systems
Petri Net
secured networked control systems
Sorting
Sports equipment
biblio
Research of Industrial Control System Device Firmware Vulnerability Mining Technology Based on Taint Analysis
Submitted by
grigby1
on Thu, 05/09/2019 - 10:46am
security
security of data
Software
resilience
pubcrawl
Resiliency
Scalability
Hardware
integrated circuits
taint analysis
Data mining
program testing
component
Industrial Control Systems
industrial control
industrial control system
scalable
device firmware
firmware
fuzzing test
industrial control system device firmware vulnerability mining technology
Microprogramming
taint analysis technology
test efficiency
vulnerability mining
1
2
3
4
5
6
7
8
9
…
next ›
last »
