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
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
TIGER HASH KERBEROS BIOMETRIC BLOWFISH USER AUTHENTICATION FOR SECURED DATA ACCESS IN CLOUD
Submitted by
aekwall
on Mon, 05/20/2019 - 10:02am
security
Cloud Computing
Servers
Access Control
authorisation
cloud user
Cryptography
encryption
Resiliency
Human behavior
pubcrawl
Metrics
authentication
message authentication
Kerberos
authentication server
authenticated user
authentication accuracy
authentications time
authenticity
Blowfish encryption
cloud server
cloud services
confidentiality rate
CS grants
CU
encrypted ticket
genuine user
Kerberos biometric blowfish user authentication
Registration
secured data access
Ticket Granting
tiger hash
Tiger Hash-based Kerberos biometric blowfish authentication
unauthorized users
user ID
user identity
users ID
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
Deriving Privacy and Security Considerations for CORE: An Indoor IoT Adaptive Context Environment
Submitted by
aekwall
on Mon, 05/20/2019 - 9:58am
security
Resiliency
Human behavior
pubcrawl
composability
Metrics
privacy
Ambient intelligence
architectural framework
Internet-of-Things
IoT Security 2018
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
Polyglot CerberOS: Resource Security, Interoperability and Multi-Tenancy for IoT Services on a Multilingual Platform
Submitted by
aekwall
on Mon, 05/20/2019 - 9:56am
Internet of Things
security
Resiliency
Human behavior
pubcrawl
composability
Metrics
interoperability
Services
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
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
biblio
Adding Salt to Pepper: A Structured Security Assessment over a Humanoid Robot
Submitted by
aekwall
on Wed, 05/08/2019 - 9:46am
security
Internet of Things (IoT)
Human behavior
pubcrawl
Metrics
insider threat
resilience
Penetration Testing
Pepper
Robot
1
2
3
4
5
6
7
8
9
…
next ›
last »
