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
Protocols
biblio
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
computer architecture
privacy
deep learning
deep learning model
learning (artificial intelligence)
security
pubcrawl
policy-based governance
collaboration
computer network security
Data models
Protocols
composability
Local area networks
industrial network
fuzzing
security vulnerabilities
Policy Based Governance
Control Automation Technology devices
Decoding
deep learning perspective
EtherCAT
Fuzz Testing
fuzzing framework
industrial communication processes
industrial communication protocols
industrial protocol fuzzing framework
Industrial Safety
modern industrial control systems
protocol frame structures
protocol frames
security checks
self learning
SeqFuzzer
stateful protocols
target protocol
vulnerability mining
Compositionality
protocol verification
biblio
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
privacy
authorisation
IP networks
pubcrawl
policy-based governance
collaboration
computer network security
Cryptographic Protocols
Protocols
verification
standards
composability
Policy Based Governance
security protocols
computational model
cryptographic proof
cryptographic protocol
CryptoVerif proof assistant
Elliptic curve cryptography
Noise Protocol Framework
open source Virtual Private Network
transport data messages
Virtual private networks
vpn
WireGuard virtual private network protocol
Compositionality
protocol verification
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
Automated Verification of Accountability in Security Protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
pubcrawl
policy-based governance
collaboration
Cryptographic Protocols
Cryptography
Protocols
composability
computer security
formal verification
Policy Based Governance
accountability
accountability automated verification
accountable algorithms protocol
Calculus
certificate transparency
cognition
formal methods and verification
mechanized method
protocol-agnostic definition
security property
security protocol design
security protocols
security violation
traditional trust assumptions
Compositionality
protocol verification
biblio
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Submitted by
grigby1
on Fri, 04/03/2020 - 12:05pm
protocol verification
CoCoME case study
collaboration
computer architecture
cyber-physical microservice architectures
cyber-physical systems
Formal Specification
individual microservices
Information Flow
information leaks
Information systems
information-flow security policies
macro-level policy
macro-level security policy
message passing
microservice architectural style
microservices
Perturbation methods
Policy Based Governance
Protocols
pubcrawl
real-time behavior
resulting microlevel policies
security
security of data
security restrictions
Servers
service-oriented architecture
software architects
biblio
A Method of Conflict Detection for Security Policy Based on B+ Tree
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
collaboration
security
pubcrawl
computer network security
Indexes
Protocols
Communication networks
computer network management
network security
Libraries
B+ tree
B+ tree-based security policy conflict detection method
conflict detection
detection algorithms
network management system
policy conflict
Redundancy
security policy
tree data structures
trees (mathematics)
Policy Based Governance
biblio
New Quantum Secret Sharing Protocol Using Entangled Qutrits
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Scalability
telecommunication security
Protocols
eavesdropping
Resiliency
pubcrawl
composability
Cryptography
quantum computing
quantum cryptography
Predictive Metrics
Quantum entanglement
Communication channels
detection of eavesdropping
eavesdropping attack
entangled qubits
entangled qutrits
Optimized production technology
ping-pong protocol
quantum memory
Quantum secret sharing
quantum secret sharing protocol
quantum secure direct communication
security amplification
quantum computing security
biblio
Abstract Model of Eavesdropper and Overview on Attacks in Quantum Cryptography Systems
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
security of data
Computer crime
Scalability
data privacy
telecommunication security
Protocols
Resiliency
pubcrawl
composability
classification
Handheld computers
Reliability
quantum cryptography
quantum computing
Predictive Metrics
information technologies
Quantum Key Distribution
quantum protocols
abstract eavesdropper model
coherent attack
commercially available quantum key distribution system
cryptographic methods
document circulation
extended classification
human life
important directions
information confidentiality
information transactions
loophole of the device
mini-computer
non-coherent attack
open communication networks
promptly developed areas
quantum cryptography methods
quantum cryptography systems
quantum cryptosystems
quantum hacking
quantum key distribution equipment
reliable information security technology
reliable security
specific quantum systems
traditional cryptography methods
quantum computing security
biblio
Quantum Services Architecture in Softwarized Infrastructures
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Scalability
security
Protocols
computer architecture
software defined networking
Resiliency
pubcrawl
composability
standards
software-defined networking
quantum computing
quantum cryptography
quality of service
random number generation
security infrastructure
Switches
Predictive Metrics
Quantum Key Distribution
current networking technology
forward key material
key exchange primitive
logically centralized SDN controller
Madrid Quantum Network
mature development
network integration
open Interfaces.
QKD systems
quantum principles
quantum random number generators
quantum resources
Quantum services architecture
Quantum Switch
quantum switches
quantum technologies
quantum-safe methods
SDN quantum node architecture
secure bit streams
service automation
single network element
software-defined networking architectures
softwarized infrastructures
specific network cards
Telecommunication standards
quantum computing security
biblio
Demonstrating Quantum Advantage in Security and Efficiency with Practical Photonic Systems
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Scalability
Cryptography
Cryptographic Protocols
Protocols
Resiliency
pubcrawl
composability
quantum computing
quantum cryptography
Predictive Metrics
network environment
quantum communication
central quantum network protocols
entangled resources
future quantum-safe communications
maximal security guarantees
photonic systems
Photonics
practical photonic systems
quantum advantage
Quantum entanglement
quantum money
quantum networks
quantum optics
secret key distribution
telecommunication network infrastructures
quantum computing security
1
2
3
4
5
6
7
8
9
…
next ›
last »
