Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL.
Antonio González-BurgueñoPeter Csaba ÖlveczkyPublished in: FSEN (2019)
Keyphrases
- information security
- mobile devices
- access control
- computer security
- wireless sensor
- neural network
- security mechanisms
- statistical databases
- security issues
- network security
- data security
- intrusion detection
- security requirements
- security threats
- security problems
- network services
- heterogeneous systems
- pervasive environments
- security policies
- security management
- cyber attacks
- ubiquitous computing environments
- critical infrastructure
- security protocols
- security analysis
- mobile applications
- functional requirements