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
tools
biblio
Towards Visual Analytics Dashboards for Provenance-driven Static Application Security Testing
Submitted by aekwall on Fri, 02/25/2022 - 10:46am
testing
Visualization application domains
software security engineering
Software and Application Security
security and privacy
human-centered computing
application security
codes
Provenance
visual analytics
security
composability
Human behavior
Resiliency
Metrics
pubcrawl
Computer crime
tools
visualization
biblio
Adversarial Machine Learning for Inferring Augmented Cyber Agility Prediction
Submitted by grigby1 on Thu, 02/24/2022 - 2:50pm
signature based defense
Adversarial Machine Learning
Analytical models
Conferences
cyber agility
Databases
Metrics
Predictive Analytics
Predictive models
predictive security metrics
Propulsion
pubcrawl
tools
biblio
Convolutional Neural Network Based Approach for Static Security Assessment of Power Systems
Submitted by grigby1 on Thu, 02/24/2022 - 2:50pm
convolutional neural network
data-driven model
deep learning
Metrics
power system stability
Predictive models
predictive security metrics
Procurement
pubcrawl
Reactive power
static security assessment
Support vector machines
tools
Voltage
biblio
On the Soundness of Infrastructure Adversaries
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
policy-based collaboration
tools
Security Risk Estimation
security economics
Safety
risk management
pubcrawl
Protocols
protocol verification
privacy
Internet-scale Computing Security
Planning
internet
DNSsec
DNS
Computational modeling
Compositionality
composability
collaboration
Analytical models
biblio
A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
information security
Transaction Security
tools
security
Scyther tool
pubcrawl
Protocols
protocol verification
privacy
policy-based collaboration
Payment Protocol
Online banking
Mobile payment systems
Metrics
Industries
Cryptography
Compositionality
composability
collaboration
AVISPA tool
authorization
authentication
accountability
network accountability
Resiliency
biblio
Towards Formal Modeling and Analysis of UPI Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
Manuals
UPI
tools
standards
Servers
pubcrawl
protocol verification
privacy
policy-based collaboration
Adaptation models
formal methods
Financial Security
Cryptographic Protocols
Compositionality
composability
collaboration
Analytical models
biblio
Vertical Composition and Sound Payload Abstraction for Stateful Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
Protocols
vertical composition
tools
Syntactics
stateful protocols
standards
security protocols
pubcrawl
protocol verification
collaboration
privacy
policy-based collaboration
Payloads
formal methods and verification
Cryptography
computer security
Compositionality
composability
biblio
An Interactive Prover for Protocol Verification in the Computational Model
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
policy-based collaboration
tools
Solids
Semantics
security protocols
pubcrawl
protocol verification
Protocols
privacy
cognition
observational equivalence
Interactive Prover
formal methods
computational security
Computational modeling
Compositionality
composability
collaboration
biblio
Performing Security Proofs of Stateful Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
interactive-theorem-proving
tools
stateful-security-protocols
specification languages
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
automated-verification
Computer bugs
Computational modeling
Compositionality
composability
Complexity theory
collaboration
automation
biblio
VM Migration Scheduling as Moving Target Defense against Memory DoS Attacks: An Empirical Study
Submitted by grigby1 on Tue, 02/22/2022 - 5:46pm
Benchmark testing
tools
machine learning
pubcrawl
Metrics
resilience
Resiliency
Scalability
Computers
Memory DoS
Virtual machining
moving target defense
denial of service
Systems architecture
VM migration
codes
Dynamic platform technique
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
…
next ›
last »
