Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.
Junsup SongSunghyun LeeDimitris KaragiannisMoonkun LeePublished in: Sensors (2024)
Keyphrases
- security requirements
- management system
- security patterns
- distributed systems
- security policies
- development lifecycle
- requirements engineering
- formal methods
- operating system
- big data
- access control
- software development
- data model
- database systems
- security analysis
- security properties
- security problems
- case study
- smart objects
- databases