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
policy-based governance
biblio
DoS Vulnerability Verification of IPSec VPN
Submitted by aekwall on Tue, 10/12/2021 - 3:08pm
IP networks
privacy
Servers
encryption
pubcrawl
composability
Compositionality
Routing protocols
policy-based governance
DoS
IKEv1 protocol
IPsec VPN
OSPF protocol
route spoofing
Virtual private networks
protocol verification
biblio
Verifying cryptographic protocols by Tamarin Prover
Submitted by aekwall on Tue, 10/12/2021 - 3:08pm
security
Cryptography
Computational modeling
privacy
pubcrawl
composability
Complexity theory
Compositionality
policy-based governance
Cryptographic Protocols
formal specifications
Planing
Session key secrecy
Tamarin prover
Verification of cryptographic protocols
protocol verification
biblio
An Enhanced and Secure Multiserver-based User Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
protocol verification
smart cards
protocol
Multiserver
ProVerif
cryptanalysis
policy-based governance
Compositionality
security
pubcrawl
Protocols
authentication
Servers
privacy
password
Cryptography
biblio
Research on Secure JTAG Debugging Model Based on Schnorr Identity Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
security
Hardware
system-on-chip
privacy
authentication
Protocols
encryption
pubcrawl
composability
Compositionality
policy-based governance
debugging
protocol verification
biblio
Accelerated Verification of Parametric Protocols with Decision Trees
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
policy-based governance
protocol verification
parameterized verification
formal methods
Design methodology
Coherence
cache coherence protocols
knowledge based systems
Decision trees
Acceleration
Compositionality
composability
pubcrawl
Conferences
machine learning
Protocols
privacy
biblio
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
Compositionality
Computer languages
CTLK
epistemic logic
model checking
OBDD
Petri nets
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
security
tools
biblio
Tamarin software – the tool for protocols verification security
Submitted by aekwall on Tue, 10/12/2021 - 3:06pm
Software
privacy
Internet of Things
Protocols
tools
encryption
pubcrawl
composability
standards
Compositionality
Safety
policy-based governance
security protocols
sensor networks
Tamarin software
protocol verification
biblio
An Enhanced SIP Authentication Protocol for Preserving User Privacy
Submitted by aekwall on Tue, 10/12/2021 - 3:06pm
security
password
privacy
Servers
authentication
Protocols
Databases
pubcrawl
composability
History
Compositionality
policy-based governance
authentication protocol
ProVerif
Session initiation protocol (SIP)
protocol verification
biblio
DRaNN: A Deep Random Neural Network Model for Intrusion Detection in Industrial IoT
Submitted by aekwall on Thu, 09/30/2021 - 11:54am
Neural networks
deep learning
Intrusion Detection
Training
Internet of Things
feature extraction
pubcrawl
Metrics
Resiliency
machine learning
cyber-physical systems
Cybersecurity
policy-based governance
Neurons
Neural Network Security
random neural network
biblio
Neural Network Based Classification of Attacks on Wireless Sensor Networks
Submitted by aekwall on Thu, 09/30/2021 - 11:53am
attacks
weights matrix
sign
information security
Neural Network Security
neural network
Neurons
uncertainty
policy-based governance
security
cyber-physical systems
Resiliency
Metrics
pubcrawl
wireless sensor networks
Software
sensors
Neural networks
1
2
3
4
5
6
7
8
9
…
next ›
last »
