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
biblio
A Systems Security Approach for Requirements Analysis of Complex Cyber-Physical Systems
Submitted by
grigby1
on Wed, 10/02/2019 - 2:55pm
architectural-level engineering considerations
complex cyber-physical systems
cyber-physical systems
dependably secure systems
design-level security criteria
eliciting security requirements
Formal Specification
functional-level security requirements
key architectural analysis definitions
pubcrawl
readily understandable description
requirements analysis
resilience
Resiliency
resiliency requirements
security architecture analysis approaches
security of data
security processes
software engineering
software engineering processes
STPA-Sec
systems security analysis
systems security engineering
system-theoretic process analysis approach
technology reliant environment
traceable security
viable systems security analysis approach
biblio
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
automatic analysis
Bianry Analysis
collaboration
Computational modeling
Conferences
Control Flow Recovery
control-flow recovery
data flow analysis
data-flow analyses
Explosions
Formal Specification
Human behavior
Human Factors
low-level object code
Memory management
Metrics
policy-based governance
program compilers
program diagnostics
program verification
pubcrawl
resilience
Resiliency
restricted control transition intermediate language
Safe Coding
safe control flow recovery
security
security mechanisms
security of data
security policies
Security Validation
Semantics
software fault tolerance
source code level
biblio
Formal Verification of GP Specification Based Embedded Operating System
Submitted by
grigby1
on Mon, 08/26/2019 - 11:09am
Certifying OS
composability
Cross Layer Security
formal methods
Formal Specification
Multi-Layered Verification
pubcrawl
resilience
Resiliency
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
Address autoconfiguration
application security
attacks simulation
Compositionality
Computer crime
denial of service
denial-of-service attack detection
Device Security
dual-stack networks
Duplicate Address Detection
Formal Specification
Human behavior
ICMPv6 Protocol
internet
IP networks
IPv4 IPv6 protocol
IPv6
IPv6 networks
IPv6 vulnerability scanning tests
Linux
Metrics
network communications
passive analysis
program testing
Protocols
Prototypes
pubcrawl
Resiliency
security of data
specification languages
telecommunication computing
telecommunication security
test extensibility
test maintainability
test specification language
testing
Testing and Test Control Notation version 3
transport protocols
TTCN-3
TTCN-3 language
vulnerability assessment
vulnerability detection
Vulnerability Management
vulnerability scanning
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
1
2
3
next ›
last »
