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
IP networks
biblio
Considerations on the Adoption of Named Data Networking (NDN) in Tactical Environments
Submitted by
grigby1
on Thu, 12/05/2019 - 9:52am
Ad hoc networks
application-specific extensions
clean slate
clean slate networking approach
collaboration
communication scenario
Engines
Face
fairly stable infrastructure-based environments
Human behavior
Human Factors
ICN
information centric networking
Information-Centric Networking (ICN)
internet
IP networks
Metrics
military communication
mobile computing
mobile military networks
named data networking
Named Data Networking (NDN)
NDN
node mobility
performance tuning
Policy
Policy Based Governance
policy governance
practical adoption
Protocols
pubcrawl
resilience
Resiliency
stable connections
tactical applications
tactical edge networks
tactical environments
tactical networks
transport protocols
unreliable capacity limited performance
wireless nature
wireless sensor networks
biblio
Demonstrating Cyber-Physical Attacks and Defense for Synchrophasor Technology in Smart Grid
Submitted by
aekwall
on Mon, 12/02/2019 - 11:04am
security of data
computer network security
intrusion detection system
IP networks
security
Software
real-time systems
Resiliency
pubcrawl
composability
Global Positioning System
malicious activities
Metrics
standards
Decision Making
Phasor measurement units
smart power grids
Smart Grid
power engineering computing
command injection attacks
aforementioned cyber-attacks
attack capabilities
command injection attack
Cyber-physical attacks
decentralized decision making capability
defense mechanisms
IEEE standards
packet drop attack
phasor measurement
potential physical impacts
stealthy cyber-attacks
stealthy data manipulation attack
stealthy man-in-the-middle attacks
synchrophasor communication standard
synchrophasor devices
synchrophasor network security
synchrophasor technology
synchrophasor-based synchronous islanding testbed
synchrophasor-based systems
biblio
Identifying Peer-to-Peer Botnets Through Periodicity Behavior Analysis
Submitted by
grigby1
on Tue, 11/26/2019 - 2:38pm
botnet
Botnet detection
computer network security
Conferences
feature extraction
Human behavior
human factor
Human Factors
invasive software
IP addresses
IP networks
Metrics
Monitoring
network security
P2P botnet
P2P bots
P2P communications
P2P hosts
peer to peer security
peer-to-peer botnets
Peer-to-peer computing
PeerGrep
periodicity behavior
Periodicity Behavior Analysis
pubcrawl
resilience
Resiliency
Scalability
security
Spark
biblio
Architecture Analysis and Verification of I3C Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
back end design
base class library
Clocks
collaboration
composability
Compositionality
Conferences
digital integrated circuits
formal verification
front end design
hardware description languages
I3C
I3C bus protocol
improved inter integrated circuit
integrated circuit design
integrated circuit testing
IP networks
MIPI
Monitoring
Pins
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
SoC
system Verilog
test environments
Universal Verification Methodology
UVM
verification components
verification environment
VLSI
biblio
Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones
Submitted by
grigby1
on Wed, 10/30/2019 - 9:52am
computer network security
DNS
DNSsec
DNSSEC-signed IPv6 reverse zones
integrated circuits
internet
Internet of Things
Internet of Things devices
Internet-connected devices
internet-wide scans
IP networks
IPv4 hosts
IPv6
IPv6 address space
IPv6 hosts
large-scale security scans
Licenses
Network reconnaissance
network scanning
principal component analysis
privacy
pubcrawl
resilience
Resiliency
Revere DNS (rDNS)
RNA
Scalability
security
Security by Default
sensitive data exposure
unintended IPv6 connectivity
ZMap
biblio
ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies
Submitted by
aekwall
on Tue, 10/22/2019 - 8:54am
security of data
Monitoring
IP networks
system-on-chip
pubcrawl
policy-based governance
Cryptography
tools
security architecture
Complexity theory
Engines
security policy
formal verification
alternative architecture
artifact
CAD
CAD flow
centralized infrastructure IP
complex steps
critical steps
efficient formal verification
expensive steps
flexible infrastructure IP
functional design flow
illustrative policies
industrial SoC
integrated circuit design
modern SoC design validation
off-the-shelf formal tools
Security Engine
security policy implementation
simulation-based security verification
SoC Security
SoC security policies
SoC Verification
streamlined verification
system-level security policies
verification time
verification tools
Security Policies Analysis
biblio
IPsec/Firewall Security Policy Analysis: A Survey
Submitted by
aekwall
on Tue, 10/22/2019 - 8:53am
computer network security
IP networks
authorisation
pubcrawl
policy-based governance
Filtering
Correlation
Communication networks
computer networks
network security
IPsec
Logic gates
Firewalls (computing)
security policy
Virtual private networks
internetworking
Conflicts analysis
firewall
Firewall Security policy analysis
formal verification
IPsec gateways
IPsec security policy analysis
network safety
network security protection
policy analysis
Security policy anomalies
security policy management
security policy misconfigurations
security policy verification
traffic control
Security Policies Analysis
biblio
Integrity and Non-Repudiation of VoIP Streams with TPM2.0 over Wi-Fi Networks
Submitted by
grigby1
on Tue, 10/15/2019 - 1:44pm
attack scenarios
authentication
composability
computer network security
Cryptographic Protocols
Cryptography
digital networks
digital signature
digital signatures
hardware-based trusted anchor
Human behavior
integrity
internet
internet-based communication
Internet Protocol
Internet telephony
IP networks
legacy phone technologies
Metrics
nonrepudiation
physical access
Protocols
pubcrawl
quality of service
random nodes
Repudiation
research project INTEGER
resilience
Resiliency
secure authentication
softphones
TPM2
Trusted Computing
trusted computing group
Trusted Platform Module
VoIP
VoIP communication
VoIP softphones
VoIP streams
Wi-Fi
Wi-Fi Networks
Wireless communication
Wireless fidelity
wireless LAN
wireless scenarios
wireless streaming
biblio
Quantifying & minimizing attack surfaces containing moving target defenses
Submitted by
Katie Dey
on Fri, 09/13/2019 - 4:48am
Analytical models
attack surface minimization
C3E 2019
Computational modeling
cyber friendly fire
cyber security analysis
cyber security exposure
dynamic proactive defenses
Human Machine Teaming
IP networks
Measurement
Minimization
modeling
moving target defenses
Quantification
Resilient Systems
security
security of data
Surface treatment
threat assessment
timeliness violations
Human Machine Teaming
C3E 2019
biblio
A Design and Implementation Method of IPSec Security Chip for Power Distribution Network System Based on National Cryptographic Algorithms
Submitted by
grigby1
on Wed, 09/11/2019 - 1:44pm
authentication
authentication function
authentication gateway
authorisation
composability
computer network security
Cryptographic Protocols
distribution application layer encryption authentication device
distribution master station
distribution network system
Distribution system
Dual Encryption
encryption
IP networks
IPSec protocol
IPSec security chip
Logic gates
master cipher machine
master system
Metrics
Microelectronics Security
national cryptographic algorithm
network layer communication security
network security
power distribution automation system
power distribution network system
power distribution protection
power engineering computing
power system security
Protocols
pubcrawl
resilience
Resiliency
security protection scheme
sercurity chip
the power distribution automation system
Virtual private networks
VPN gateway
1
2
3
4
5
6
7
8
9
…
next ›
last »
