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
cognition
biblio
Research on Cognitive Linkage of Network Security Equipment
Submitted by
aekwall
on Mon, 09/14/2020 - 12:33pm
security of data
Cryptography
security
learning (artificial intelligence)
pubcrawl
composability
Computational modeling
Analytical models
Policy
Communication networks
cognition
Compositionality
Decision Making
Couplings
computational intelligence
network security devices
Cognitive Cycle
Cognitive Linkage
cognitive linkage system model
network security equipment
weak linkage ability
biblio
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic
Submitted by
aekwall
on Mon, 08/24/2020 - 12:47pm
computer network security
Resiliency
pubcrawl
composability
Production
Decision Making
decision-making
computer security
Communication networks
Security analysis
cognition
industrial control
inference mechanisms
industrial control network system
formal logic
forward reasoning
Industrial control network
industrial control network security analysis
reasoning method
strong relevant logic
Autonomic Security
biblio
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making
Submitted by
grigby1
on Thu, 07/16/2020 - 11:43am
automated decision making
cognition
composability
CPS framework model
CPS modeling
cyber-physical system
cyber-physical systems
Decision Making
decision support
Decision support systems
governance collaborators
grid topologies
industry collaborators
inference mechanisms
Metrics
NIST
Ontologies
ontologies (artificial intelligence)
Ontology
open systems
power engineering computing
pubcrawl
reasoning techniques
resilience
Resiliency
security
simulations
smart grid stakeholders
Smart Grids
smart power grids
Unified modeling language
university collaborators
US National Institute of Standards-and-Technology
biblio
Reasoning about Sequential Cyberattacks
Submitted by
aekwall
on Mon, 07/06/2020 - 10:15am
Scalability
invasive software
Resiliency
pubcrawl
Social network services
Computational modeling
Metrics
Cybersecurity
optimisation
Mathematical model
Lattices
computational complexity
Complexity theory
cognition
Human Factors
Compositionality
computer systems
adversarial reasoning
Cost function
cyber adversaries
cyber-adversary
cyber-attack modeling
fixed-point operator
NP-complete problem
sequential chained attacks
sequential cyberattacks
simulated vulnerability data
vulnerability dependencies
Cyber Dependencies
biblio
Multimodal, Multiuser Immersive Brainstorming and Scenario Planning for Intelligence Analysis
Submitted by
grigby1
on Thu, 06/04/2020 - 11:47am
Analytical models
brainstorming
brainstorming tool
CISL
cognition
cognitive immersive software
cognitive immersive systems lab
collaboration
composability
cyber physical systems
Human Factors
IBM
immersive environment
immersive systems
intelligence analysis
multimodal interaction
multiuser Immersive brainstorming
Planning
planning (artificial intelligence)
privacy
pubcrawl
resilience
Resiliency
risk assessment
scenario planning
scenario planning advisor
Software
Task Analysis
tools
biblio
New TSBuilder: Shifting towards Cognition
Submitted by
aekwall
on Mon, 05/18/2020 - 10:56am
Scalability
Task Analysis
Classification algorithms
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
deep learning
standards
Neurons
Decision Making
machine learning
text analysis
natural language processing
Data mining
neural network
Biological neural networks
cognition
artificial thinking
human thinking
multilayer Rosenblatt perceptron
natural language texts
new TSBuilder
rigid categorization
rigidity
supervised machine learning
term length
term system builder
term system building
term system construction
Text Mining
TSBuilder
word terms identification
biblio
Trustworthy Misinformation Mitigation with Soft Information Nudging
Submitted by
aekwall
on Mon, 04/13/2020 - 10:22am
Compositionality
Computer Theory and Trust
cognition
Companies
composability
computer science
conspiracy news consumers
conspiracy theories
cyber physical systems
Decision support systems
disinformation
Economics
Feeds
information consumption
information decisions
information sources
information trust
Media
misinformation
misinformation mitigation techniques
news sources
nudge theory
Organizations
pubcrawl
recommendation
recommender systems
Resiliency
Social network services
social networking (online)
social recommendation algorithms
soft information nudging
technological solutions
technology solutions
trust nudging
Trusted Computing
trusted sources
trustworthy misinformation mitigation
Trustworthy Systems
biblio
Building Confidence not to be Phished Through a Gamified Approach: Conceptualising User's Self-Efficacy in Phishing Threat Avoidance Behaviour
Submitted by
grigby1
on Fri, 04/10/2020 - 12:36pm
cognition
Computer crime
computer games
Computers
Electronic mail
Games
Gamification/Gamified approach
gamified approach
gaming prototype
heuristic knowledge
Human behavior
Human Factors
internet
Knowledge
knowledge attributes
observational knowledge
online identity theft attack
Phishing
phishing attack
phishing attacks
phishing threat avoidance behaviour
phishing threat prevention behaviour
pubcrawl
Self-Efficacy
social cognitive theory
structural knowledge
threat avoidance motivation
Threat avoidance motivation and behaviour
tools
Training
user self-efficacy
biblio
Automated Verification of Accountability in Security Protocols
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
accountability
accountability automated verification
accountable algorithms protocol
Calculus
certificate transparency
cognition
collaboration
composability
Compositionality
computer security
Cryptographic Protocols
Cryptography
formal methods and verification
formal verification
mechanized method
Policy Based Governance
policy-based governance
privacy
protocol verification
protocol-agnostic definition
Protocols
pubcrawl
security property
security protocol design
security protocols
security violation
tools
traditional trust assumptions
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
1
2
3
4
5
next ›
last »
