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
Mathematics
biblio
Penetration Testing Active Reconnaissance Phase – Optimized Port Scanning With Nmap Tool
Submitted by
grigby1
on Fri, 05/22/2020 - 2:19pm
active reconnaissance phase
Bandwidth
composability
computer network security
footprinting
internet
Mathematics
Metrics
Monitoring
network accountability
network traffic
nmap tool
optimized port scanning
passive information gathering techniques
passive scanning
port scanning
pubcrawl
Reconnaissance
resilience
Resiliency
scanning perimeter
Task Analysis
telecommunication traffic
tools
biblio
Detection of False Data in Wireless Sensor Network Using Hash Chain
Submitted by
grigby1
on Mon, 12/30/2019 - 2:22pm
authentication
Base stations
bogus data
composability
Cryptography
cyber physical systems
data integrity
encryption
False Data Detection
false data filtering schemes
False Data Injection
hash chain
Hostile Environment
Human behavior
Mathematics
pubcrawl
resilience
Resiliency
sensor nodes
telecommunication security
Wireless Sensor Network
wireless sensor networks
WSN
biblio
Semantification of Identifiers in Mathematics for Better Math Information Retrieval
Submitted by
grigby1
on Tue, 03/07/2017 - 1:13pm
definitions
identifiers
mathematical information retrieval
mathematical knowledge management
mathematical language processing
Mathematics
mathoid
mathosphere
MIR
MLP
namespace discovery
pubcrawl170201
wikipedia
biblio
"Applying Formal Methods to Networking: Theory, Techniques, and Applications"
Submitted by
grigby1
on Tue, 02/21/2017 - 12:11pm
applying formal methods
clean slate Internet design
Communities
computer networks
Computers
formal correctness
formal specifications
formal verification
internet
Internet architecture
Internet community
Internet culture
Mathematics
network infrastructure
networking protocols
Protocols
pubcrawl170103
SDN
Software
software defined networking
Tutorials
biblio
Applying Formal Methods to Networking: Theory, Techniques, and Applications
Submitted by
BrandonB
on Tue, 05/05/2015 - 9:53am
applying formal methods
clean slate Internet design
Communities
computer networks
Computers
formal correctness
formal specifications
formal verification
internet
Internet architecture
Internet community
Internet culture
Mathematics
network infrastructure
networking protocols
Protocols
SDN
Software
software defined networking
Tutorials
profile
Edward Griffor
CPS Domains
CPS Technologies
Foundations
Research Program Overview
aerospace control
Mathematics
adaptive automated intrusion response system
Maryland
