共 50 条
- [26] Can I Reach You? Do I Need To? New Semantics in Security Policy Specification and Testing PROCEEDINGS OF THE 26TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, SACMAT 2021, 2021, : 165 - 174
- [27] Monitoring based on IOSTS for testing functional and security properties: Application to an Automotive case study 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 1 - 10