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
Formal Security Models
biblio
IoT Security: Review and Future Directions for Protection Models
Submitted by grigby1 on Thu, 08/12/2021 - 3:21pm
IoT security
security models
IoT security standards
IoT Security Models
Formal Security Models
formal specifications
Reliability
composability
standards
Internet of Things
Biological system modeling
Resiliency
resilience
Metrics
Human behavior
pubcrawl
security
Adaptation models
biblio
FTP-NDN: File Transfer Protocol Based on Re-Encryption for Named Data Network Supporting Nondesignated Receivers
Submitted by aekwall on Tue, 05/26/2020 - 10:10am
nondesignated receivers
data reencryption
file transfer protocol
Formal Security Models
FTP-NDN
named data network
Named Data Networking (NDN)
NDN nodes
network flow requirement
data confidentiality
re-encryption
storage costs
TCP-IP networks
unknown potential receivers
usage amount
users
video services
Named Data Network Security
transport protocols
Scalability
Servers
telecommunication traffic
Cryptography
Access Control
Receivers
Protocols
computer architecture
computer network security
Resiliency
Human behavior
pubcrawl
internet
network traffic
ciphertext transmission
complete secure file transfer protocol
biblio
A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness
Submitted by K_Hooper on Wed, 10/25/2017 - 10:50am
automation
Cyber Dependencies
Formal Security Models
Human behavior
Intrusion Detection Systems
Measurement
pubcrawl
resilience
Scalability
biblio
Private Circuits III: Hardware Trojan-Resilience via Testing Amplification
Submitted by grigby1 on Fri, 09/15/2017 - 9:48am
Computing Theory
Control Theory
countermeasures against malicious hardware manufacturers
Formal Security Models
Hardware Trojans
pubcrawl
resilience
Resiliency
biblio
A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness
Submitted by grigby1 on Tue, 08/22/2017 - 11:11am
automation
composability
Formal Security Models
Intrusion Detection Systems
Measurement
Metrics
network intrusion detection
pubcrawl
Resiliency
biblio
Architecture-based Self-protection: Composing and Reasoning About Denial-of-service Mitigations
Submitted by David Garlan on Wed, 09/17/2014 - 5:30pm
Architectures
Architectures
Modeling
Science of Security
Validation and Verification
CPS Technologies
Foundations
Hardware Security Implementation
validation and verification
Self-Adaptation
Security in Hardware
Science of Security
Probabilistic Model Checking
modeling
Logic and Verification
Hardware-Based Security Protocols
ACM CCS
foundations
Formal Security Models
Formal Methods and Theory of Security
Denial-of-Service
cyber security
CPS Technologies
Architectures
ACM CCS
Hardware-Based Security Protocols
Cyber Security
Formal Security Models
Formal Methods and Theory of Security
Logic and Verification
Hardware Security Implementation
Security in Hardware
