Can I Reach You? Do I Need To? New Semantics in Security Policy Specification and Testing.
Charalampos KatsisFabrizio CicalaDan ThomsenNathan RingoElisa BertinoPublished in: SACMAT (2021)
Keyphrases
- security policies
- model based testing
- access control
- specification language
- network security
- distributed systems
- security concerns
- security management
- operational semantics
- security architecture
- security requirements
- formal semantics
- network management
- access control systems
- conceptual model
- test cases
- sequence diagrams
- unauthorized access
- ubiquitous computing environments
- databases
- security measures
- control flow
- home network
- event logs
- formal specification
- access control policies
- computer networks