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
threat scenarios
biblio
Security and Privacy
Submitted by grigby1 on Fri, 04/28/2023 - 3:00pm
security controls
SDN/NFV
mMTC
cyber risk assessment and management
5G Cybersecurity
computer network reliability
policy governance
URLLC
Resiliency
computer theory
threat scenarios
cyber-attacks
Reliability
network function virtualization
defense
computer architecture
mitigation
Compositionality
Complexity theory
Data protection
composability
5G mobile communication
resilience
Metrics
Human behavior
pubcrawl
security
risk management
collaboration
privacy
biblio
An Extensive Formal Analysis of Multi-factor Authentication Protocols
Submitted by aekwall on Mon, 06/01/2020 - 10:03am
Protocols
Metrics
multifactor authentication
multifactor authentication protocols
P ROVERIF tool
password
Phishing
pi calculus
protocol analysis attackers
message authentication
pubcrawl
resilience
Resiliency
Servers
threat model
threat scenarios
users authentication
authentication
malwares
invasive software
Human Factors
Human behavior
Google 2-step
Google
FIDO U2F
extensive formal analysis
data privacy
Cryptographic Protocols
Computer crime
Communication Network
automated protocol analysis
authorisation
authentication mechanisms
