Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems.
Michele PasquaMarino MiculanPublished in: Theor. Comput. Sci. (2024)
Keyphrases
- distributed systems
- management system
- computing environments
- security systems
- single point of failure
- highly distributed
- safety critical
- data intensive
- expert systems
- distributed object
- embedded systems
- sys tems
- information systems
- security measures
- security problems
- mission critical
- open systems
- security policies
- distributed environment
- mobile agents
- computer systems
- access control
- intelligent systems
- cooperative
- web services