Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL.
Antonio González-BurgueñoPeter Csaba ÖlveczkyPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- security issues
- network security
- mobile devices
- network services
- data security
- access control
- information security
- rfid tags
- security problems
- database
- statistical databases
- security threats
- risk assessment
- mobile applications
- security management
- mobile agent system
- wireless sensor
- information assurance
- loosely coupled
- dynamic logic
- security properties
- security level
- security systems
- security protocols
- security analysis
- key management
- functional requirements
- heterogeneous networks
- security policies
- computer networks
- context aware
- logic programming
- database systems
- real world