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
ProVerif
biblio
An Efficient Authentication Scheme for Fog Computing Environment using Symmetric Cryptographic methods
Submitted by grigby1 on Fri, 09/16/2022 - 4:39pm
Fuzzy Cryptography
authentication
Cloud Computing
Costs
Fog computing
key management
Mobile handsets
ProVerif
pubcrawl
resilience
Resiliency
Resists
Scalability
security
security issues
Servers
biblio
Formal Verification of 5G EAP-AKA Protocol
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
composability
pubcrawl
ProVerif
protocol verification
Protocols
privacy
policy-based collaboration
model checking
formal verification
Compositionality
5G EAP-AKA
Communications technology
collaboration
codes
authentication protocol
authentication
applied Pi-Calculus
Analytical models
5g network
5G mobile communication
biblio
Securing IoT Enabled RFID Based Object Tracking Systems: A Symmetric Cryptography Based Authentication Protocol for Efficient Smart Object Tracking
Submitted by grigby1 on Fri, 02/04/2022 - 2:52pm
radio frequency identification
RFIDs
Supply Chain Management (SCM)
supply chain management
Strong Authentication and Strong Integrity (SASI)
ProVerif
human behaviors
object tracking
RFID
tools
Protocols
privacy
authentication
Resiliency
resilience
Human behavior
pubcrawl
Internet of Things
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
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
Symmetric-Key Multi-Factor Biometric Authentication Scheme
Submitted by aekwall on Mon, 02/10/2020 - 12:03pm
multi-factor
symmetric-key multifactor biometric authentication scheme
smart-card
Silicon
Servers
security attacks
Resiliency
pubcrawl
ProVerif
ProVeri
private key cryptography
password
multifactor authentication
authentication
Metrics
identity password
Human Factors
Germanium
Cryptography
Cao and Ge's scheme
Burrows-Abadi-Needham (BAN) logic
biometrics (access control)
biometric techniques
biometric
authorisation
biblio
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
Submitted by grigby1 on Mon, 12/30/2019 - 2:19pm
Mathematical model
TLA+
TLA
Silicon
Scalability
Resiliency
pubcrawl
ProVerif
protocol correctness
pre-meditated correctness
passive attacker
mutual key
communicating parties
liveness property
key agreement protocol verification
ING
GDH
formal verification
exponentiation
divide and conquer key distribution protocol
DC DHKE
Cryptography
Cryptographic Protocols
contributory group key agreement
biblio
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
Submitted by grigby1 on Thu, 05/24/2018 - 12:22pm
formal verification
secure messaging
pubcrawl
ProVerif
protocol verification
ProScript protocol code
privacy
policy-based collaboration
Policy
JavaScript programs
Java
Analytical models
end-to end secure messaging protocols
Domain-Specific Language
CryptoVerif proof
Cryptography
Cryptographic Protocols
cryptographic protocol code
Computer bugs
Computational modeling
Compositionality
automated verification