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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Formal Specification
file
Challenges Integrating Formal Methods into Certification of Critical Software & Systems
Submitted by
Katie Dey
on Wed, 05/15/2019 - 9:44am. Contributor:
Michael Durling
High Assurance systems
formal methods
Formal Specification
Automated Test Generation
Presentation
Industry
HCSS 2019
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
biblio
Development of a suite of IPv6 vulnerability scanning tests using the TTCN-3 language
Submitted by
grigby1
on Mon, 01/21/2019 - 12:15pm
internet
security of data
testing
pubcrawl
Human behavior
Metrics
Resiliency
Protocols
telecommunication security
Linux
transport protocols
IP networks
Prototypes
Computer crime
vulnerability assessment
Compositionality
Vulnerability Management
Address autoconfiguration
application security
attacks simulation
denial of service
denial-of-service attack detection
Device Security
dual-stack networks
Duplicate Address Detection
Formal Specification
ICMPv6 Protocol
IPv4 IPv6 protocol
IPv6
IPv6 networks
IPv6 vulnerability scanning tests
network communications
passive analysis
program testing
specification languages
telecommunication computing
test extensibility
test maintainability
test specification language
Testing and Test Control Notation version 3
TTCN-3
TTCN-3 language
vulnerability scanning
vulnerability detection
file
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
Submitted by
Andrew Appel
on Thu, 12/20/2018 - 9:18pm. Contributor:
Andrew Appel
Deep Specification
Formal Specification
formal verification
Expeditions PI Meeting 2018
2018
Poster
Posters
1521539
biblio
Hierarchical learning for automated malware classification
Submitted by
grigby1
on Wed, 06/20/2018 - 12:56pm
anti-virus companies
automated malware classification
binary error rate
classification models
commercial anti-virus products
Companies
computer security
computer viruses
corporate computers
family variant
feature extraction
Formal Specification
hierarchical labels
hierarchical learning algorithms
Hierarchical Machine Learning
hierarchical structure
home computers
Human behavior
industrial-scale malware dataset
label hierarchy achieves
learning (artificial intelligence)
machine learning algorithms
machine learning solutions
malicious file detection
malicious files automated classification
malware
malware classification
malware label
Metrics
nonhierarchical classifier
pattern classification
privacy
pubcrawl
resilience
Resiliency
security domain
signature augmentation
Support vector machines
system monitoring
Training
Win32
Win64
biblio
Towards a Framework for the Extension and Visualisation of Cyber Security Requirements in Modelling Languages
Submitted by
grigby1
on Mon, 06/11/2018 - 3:46pm
resilience
pubcrawl
composability
security of data
security framework
computer security
tools
Semantics
visualization
Formal Specification
Complexity theory
Resiliency
Policy
collaboration
policy-based governance
specification languages
BPMN
BPMN processes
business data processing
business process
Business Process Model and Notation
cyber security concepts
cyber security requirements
middleware
modelling language
security extension
middleware security
biblio
A Security Audit of the OpenPGP Format
Submitted by
K_Hooper
on Wed, 05/09/2018 - 10:56am
authenticated package distributions
authorisation
computer security
context-free grammars
context-free languages
deterministic context free grammar
deterministic context free language
Electronic mail
email authenticity
email confidentiality
Formal Specification
GNU Privacy Guard
GnuPG
Grammar
Human behavior
language theoretical analysis
Language-theoretic security
malicious input data
open source Unix systems
OpenPGP
OpenPGP format
OpenPGP format specification
OpenPGP implementations
pattern classification
PGP
Production
Protocols
pubcrawl
public domain software
Public key
Resiliency
Scalability
security audit
Security Audits
security vulnerabilities
Symantec PGP
Unix
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by
grigby1
on Mon, 03/05/2018 - 1:12pm
automated verification
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
firewalls
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
model checking
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chain verification
security chains
security functions
security management
smart devices
SMT
software defined networking
software-defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by
grigby1
on Mon, 03/05/2018 - 1:11pm
automated verification
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
firewalls
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
model checking
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chains
security chain verification
security functions
security management
smart devices
SMT
software-defined networking
software defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
biblio
A Regression Model Based Approach for Identifying Security Requirements in Open Source Software Development
Submitted by
grigby1
on Mon, 03/05/2018 - 1:08pm
coding theory
comment security aspect
comment writing
Complexity theory
Compositionality
Cryptography
Formal Specification
information retrieval
just-in-time requirements engineering
lightweight representation
logistic regression
Logistics
Measurement
Metrics
Open Source Software
open source software development
OSS projects
pubcrawl
regression analysis
regression model based approach
requirements engineering
resilience
Resiliency
security
security of data
security requirements identification
security requirements identification methods
software engineering
testing
textual information retrieval techniques
up-front RE
1
2
3
next ›
last »
