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 Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by
grigby1
on Thu, 07/16/2020 - 11:44am
Adaptation models
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
formal verification
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
model-centric way
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
service-oriented architecture
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
biblio
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Submitted by
grigby1
on Fri, 06/26/2020 - 1:18pm
certification
composability
connected systems security
cyber-attacks
cyber-physical systems
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
Formal Specification
formal verification
high-criticality applications
Internet of Things
IoT
IoT security
Metrics
program diagnostics
pubcrawl
Resiliency
Safety
security
Security and Safety Analysis
security of data
Software
software fault tolerance
Source code analysis
static analysis
tools
verification engineering of safety and security critical dynamic industrial applications
biblio
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems
Submitted by
grigby1
on Fri, 06/19/2020 - 11:48am
control engineering computing
cyber-physical systems
cyber-physical systems of systems
false trust
formal correctness analysis
Formal Specification
formal verification
manufacturing
manufacturing automation
Mechanical systems
PLC software
policy-based governance
Policy-Governed Secure Collaboration
programmable controllers
pubcrawl
regression analysis
regression verification processes
resilience
Resiliency
Scalability
security of data
software-driven systems
system validation
trust inheritance analysis
trust preservation
Trusted Computing
biblio
Assessing and extracting software security vulnerabilities in SOFL formal specifications
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
composability
Computer bugs
Formal Language
formal languages
Formal Specification
formal specifications
formal verification
highly interconnected world
Input variables
Metrics
Natural languages
object oriented security
object-oriented languages
password
pubcrawl
Requirement Specifications
resilience
Resiliency
secure distributed systems
secure software product
security of data
Security Vulnerability Extraction
SOFL
SOFL formal specifications
Software
software development life cycle
software requirement specifications
software security vulnerabilities
biblio
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
automatic tools
C libraries
C programming language
codelevel reverse engineering
composability
documentation
extract security protocols
formal model
Formal Specification
formal verification
human-dependent approach
Libraries
Metrics
object oriented security
object-oriented languages
object-oriented programming
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
security of data
security protocol specifications
security protocols
Software
Task Analysis
tools
biblio
On the Practicality of a Smart Contract PKI
Submitted by
aekwall
on Mon, 04/06/2020 - 10:16am
Scalability
telecommunication security
system monitoring
Resiliency
Human behavior
pubcrawl
privacy
Cryptography
Metrics
blockchain
internet
smart contracts
ethereum
public key cryptography
computational complexity
Formal Specification
software fault tolerance
Security Properties
contracts
smart contract
PKI Trust Models
Additives
communication security
accumulator
blockchain-based identity systems store
centralized authorities
constant-sized state
constant-sized storage
Distributed Applications
identity records verification
live chain
main building blocks
provably secure contract
public key infrastructures
securing communications
smart contract PKI
smart contract platform
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
amplification DoS attacks
Analytical models
Bandwidth
collaboration
complexity
composability
Compositionality
computational complexity
Computer crime
computer network security
DDoS
Denial of Service attacks
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
Formal Specification
formal verification
formal verification model
Policy Based Governance
policy-based governance
powerful intruders
privacy
protocol execution
protocol theories
protocol verification
Protocols
PSPACE-complete
pubcrawl
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
Servers
service resource usage
service unavailable
tools
unlimited resources
biblio
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Submitted by
grigby1
on Fri, 04/03/2020 - 12:05pm
CoCoME case study
collaboration
computer architecture
cyber-physical microservice architectures
cyber-physical systems
Formal Specification
individual microservices
Information Flow
information leaks
Information systems
information-flow security policies
macro-level policy
macro-level security policy
message passing
microservice architectural style
microservices
Perturbation methods
Policy Based Governance
policy-based governance
protocol verification
Protocols
pubcrawl
real-time behavior
resulting microlevel policies
security
security of data
security restrictions
Servers
service-oriented architecture
software architects
biblio
Scalable Translation Validation of Unverified Legacy OS Code
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
security
Linux
Resiliency
pubcrawl
tools
Formal Specification
program verification
cognition
Scalability
operating systems (computers)
Semantics
reverse engineering
Predictive Metrics
Compositionality
XML
formal verification
operating systems
scalable verification
ARM instructions
ARM machines
ARM specification language
ARMv8 ISA
formal reasoning
formal validation
functional security properties
Google Zircon
large-scale production operating system
Linux OS
multiple high-level source languages
PVS7 theorem prover
radare2 reverse engineering tool
specification languages
Theorem Proving
translation validation
unverified legacy OS code
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Hardware
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Scalability
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
scalable verification
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
SystemC VP
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
1
2
3
4
next ›
last »
