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
security requirements
biblio
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
Submitted by
grigby1
on Mon, 06/17/2019 - 11:51am
decision patterns
Games
Human Factors
Metrics
pubcrawl
resilience
Scalability
security decisions
security requirements
Security Risk Management
biblio
A Multi-Layered Approach to Securing Enterprise Applications by Using TLS, Two-Factor Authentication and Single Sign-On
Submitted by
grigby1
on Fri, 02/08/2019 - 4:34pm
internet
authentication
security
security of data
pubcrawl
Human behavior
Human Factors
IP networks
mobile computing
Computer crime
security requirements
two-factor authentication
password
application data
authentication application
Dogs
enterprise applications
information and communication technology
information protection
Information Security concept
Internet attackers
Mobile Internet applications
multilayered approach
MultiLayered Framework
One-Time Password (OTP)
one-time passwords
OTP mechanism
Security Token
single sign-on authentication
single sign-on capability
two factor authentication
biblio
On the Security of an Efficient Anonymous Authentication with Conditional Privacy-Preserving Scheme for Vehicular Ad Hoc Networks
Submitted by
grigby1
on Thu, 01/31/2019 - 12:21pm
anonymity
anonymous authentication scheme
anonymous messaging
authentication
authentication protocol
authorisation
computational overhead
conditional privacy-preserving scheme
Cryptographic Protocols
EAAP protocol
Electrical Engineering
high computational communication overhead
impersonation attack
message authentication
message modification attack
privacy preserving
Protocols
pubcrawl
Public key
Receivers
replay attack
resilience
Resiliency
Scalability
security
security requirements
Trusted Authority range
VANET
vehicular ad hoc networks
vehicular ad hoc networks (VANETs)
biblio
A Cross-Virtual Machine Network Channel Attack via Mirroring and TAP Impersonation
Submitted by
grigby1
on Mon, 01/21/2019 - 12:17pm
Cloud Computing
privacy
data privacy
virtualisation
security
Monitoring
pubcrawl
Human behavior
Metrics
Resiliency
virtualization privacy
composability
computer network security
Virtual machine monitors
virtual machines
IP networks
Bridges
cloud platform
co-located VMs
co-resident VMs
cross-Virtual machine network channel attack
internal cloud virtual network
internal virtual network
logical resource isolation
malicious VM
mirroring
multitenant virtualized cloud environments
Network Channel Attack
network channel attacks
network traffic
openstack
physical machine
security requirements
side channel attacks
Switches
TAP impersonation
virtualization services
VM-to-VM interference
biblio
Security management of cyber physical control systems using NIST SP 800-82r2
Submitted by
grigby1
on Wed, 09/12/2018 - 11:13am
control systems
critical infrastructure system
critical infrastructures
CSES method
cyber physical control systems
cyber-physical systems
Cybersecurity
Cyberspace
Cyberspace Security Econometrics System
Damage Assessment
Databases
dependability
economics-based risk evaluation method
electric utility
Electricity supply industry
gas industry
gas utility
ICS security
industrial control
Industrial Control Systems
NIST
NIST Guide
NIST SP 800-82r2
pubcrawl
resilience
Resiliency
risk assessment
risk management
security
security management
security measures
security of data
security requirements
stakeholder-aware risk evaluation method
Stakeholders
standards
threats
vulnerabilities
biblio
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
Submitted by
grigby1
on Mon, 03/05/2018 - 1:08pm
6-stage operational water treatment plant
and Cyber Physical Systems
Attack detection
attack detection mechanisms
automata
automata theory
Clocks
coding theory
Compositionality
computer security
critical infrastructure
Cryptography
Cyber Attack Detection
cyber attack prevention
cyber security
formal methods
formal verification
ICs
industrial control
Industrial Control Systems
Integrated circuit modeling
legacy systems
Metrics
process invariants
pubcrawl
resilience
Resiliency
security
security of data
security requirements
security specifications
software maintenance
timed automata
UPPAAL
Valves
water supply
water treatment
biblio
From Secure Business Process Modeling to Design-Level Security Verification
Submitted by
grigby1
on Tue, 02/27/2018 - 2:28pm
Air gaps
air traffic management system
BPMN
business data processing
business process modeling security
composability
design-level security verification
Formal Specification
formal verification
Human behavior
Human Factors
Metrics
Model transformation
modeling
organisational aspects
organizational aspects
procedural system descriptions
pubcrawl
resilience
Resiliency
SecBPMN2
security
security engineering framework
security of data
security requirements
socio-technical systems
Stakeholders
system design
system developers
Systems architecture
UML
UMLsec policies
Unified modeling language
biblio
Towards a secure smart grid storage communications gateway
Submitted by
grigby1
on Wed, 02/21/2018 - 1:53pm
authentication
backend M2M communications protocols
communication line security
communications gateway
Cryptography
cyber security measures
cyber-physical systems
data storage
electric storage technologies
Energy Efficiency
Energy storage
hands-on configuration advice
HORIZON 2020 project STORY
Human behavior
Human Factors
ICT system
internetworking
Logic gates
machine-to-machine communication
privacy issues
Protocols
pubcrawl
resilience
Resiliency
Scalability
secure smart energy communications devices
security requirements
Smart Grid Privacy
Smart Grids
smart power grids
standards
telecommunication security
biblio
Cryptographic key management methods for mission-critical wireless networks
Submitted by
grigby1
on Wed, 02/21/2018 - 1:40pm
Access Control
resilience
pubcrawl
Resiliency
Human behavior
Protocols
Scalability
authentication
Cryptographic Protocols
key management
message authentication
authorisation
computer network security
data integrity
telecommunication traffic
Metrics
security requirements
adequate communication services
authentication protocol
Cellular networks
communication infrastructures
community resources
critical-mission wireless mesh networks
cryptographic key management methods
cryptographic keys
data communication security
DH-HEMTs
disasters
DoS attack problem
EHPFS
emergency related information
emergency response communications
emergency services
enhanced 4-way handshake with PFS support
fast pairwise key generation
IEEE 802.11 Standard
IEEE 802.11s
landline phone
mesh router
neighboring mesh routers
perfect forward secrecy (PFS)
primary master key
rekeying protocols
secure communication system
session key generation
session key PTK
wireless LAN
wireless mesh networks
biblio
Reinforcing Security Requirements with Multifactor Quality Measurement
Submitted by
grigby1
on Thu, 02/15/2018 - 11:49am
resilience
user study
pubcrawl
Resiliency
Human behavior
Human Factors
security of data
software quality
authentication
Databases
Analytical models
Metrics
qualitative analysis
human factor
Formal Specification
operating systems
requirements engineering
security requirements
Stakeholders
statistical analysis
multifactor authentication
Context
elicited expert preferences
minimal analyst expertise
MQM
Multifactor Quality measurement
Multifactor Quality Method
natural language scenarios
Natural languages
quantitative statistical analysis
requirements analysts
requirements elicitation
scenarios
security quality ratings
security requirements elicitation
security requirements reinforcement
vignettes
weak security constraints
1
2
next ›
last »
