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
Read-only archive of site from September 29, 2023.
CPS-VO
epistemic logic
biblio
A Situation Calculus based approach to Cognitive Modelling for Responding to IoT Cyberattacks
Submitted by grigby1 on Tue, 01/25/2022 - 5:03pm
smart cities
Automated Response Actions
situation calculus
Intrusion Response
epistemic logic
Dynamic Logic
Cognitive Model
cyberattacks
Economics
Technological innovation
Internet of Things
real-time systems
home automation
composability
Cybersecurity
Biological system modeling
Resiliency
resilience
pubcrawl
critical infrastructure
biblio
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
Compositionality
Computer languages
CTLK
epistemic logic
model checking
OBDD
Petri nets
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
security
tools
