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
security layers
biblio
How formal analysis and verification add security to blockchain-based systems
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
ISO standards
tools
security of data
security layers
Security Evaluation
Scalability
Resiliency
resilience
pubcrawl
Protocols
process transactions
blockchain
integrated technology
IEC standards
formal verification
formal method
formal analysis
domain specific language
Cryptography
contracts
blockchain-based system security
blockchain security
biblio
A Survey on Zero-Day Polymorphic Worm Detection Techniques
Submitted by BrandonB on Wed, 05/06/2015 - 2:58pm
payload encryption
zero-day polymorphic worm detection techniques
zero-day malware
Zero-day attacks
Vectors
signature-based defenses
Signature Generation
security layers
Polymorphic worms
Payloads
detection systems
Monitoring
malware
key per infection
invasive software
Internet security
internet
Grippers
Fingerprinting
