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
Protocol Security
biblio
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier
Submitted by grigby1 on Fri, 10/16/2020 - 10:23am
LTL
verification
tools
SPIN verifier
SPIN formal verifier
SPIN
Security analysis
Resiliency
resilience
pubcrawl
Protocol Security
Promela language
policy-based governance
model checking
MITM
man in the middle attack
authentication
Linear Temporal Logic
government data processing
formal verification
Electronic voting systems
electronic voting system
electronic voting protocol
electronic voting
e-voting
E-Government
data substitution
Cybersecurity
Cryptographic Protocols
cryptographic protocol
collaboration
biblio
AIM-SDN: Attacking Information Mismanagement in SDN-Datastores
Submitted by grigby1 on Fri, 06/28/2019 - 9:40am
cloud computing security
data center architecture
network management datastore architecture
NMDA design
Protocol Security
pubcrawl
resilience
Resiliency
Scalability
SDN
SDN controllers
SDN security
software defined networking
biblio
A Framework for Universally Composable Diffie-Hellman Key Exchange
Submitted by grigby1 on Tue, 02/27/2018 - 1:34pm
key exchange protocols
universal composability
standards
SIGMA
security of data
reduction proofs
pubcrawl
Protocol Security
protocols building
Protocols
OPTLS
composability
ISO 9798-3
IITM model
encryption
Diffie-Hellman key exchange
DH key exchange
DH-HEMTs
Cryptographic Protocols
cryptographic primitives
Computational modeling
biblio
A Surfeit of SSH Cipher Suites
Submitted by grigby1 on Fri, 09/15/2017 - 10:01am
Applied cryptography
attacks
Lightweight Ciphers
network security
openssh
Protocol Security
pubcrawl
Resiliency
SSH
biblio
A Surfeit of SSH Cipher Suites
Submitted by grigby1 on Tue, 08/22/2017 - 11:07am
Applied cryptography
attacks
composability
Metrics
network coding
network security
openssh
Protocol Security
pubcrawl
Resiliency
SSH
