Semiring-based specification approaches for quantitative security
From MaRDI portal
Cites work
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
- Approximation Metrics for Discrete and Continuous Systems
- Computer network security. 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17--19, 2012. Proceedings
- Foundations of Security Analysis and Design II
- scientific article; zbMATH DE number 3470465 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 2000185 (Why is no real title available?)
- scientific article; zbMATH DE number 1487487 (Why is no real title available?)
- scientific article; zbMATH DE number 1884409 (Why is no real title available?)
- scientific article; zbMATH DE number 1884420 (Why is no real title available?)
- scientific article; zbMATH DE number 2111981 (Why is no real title available?)
- Model Checking Quantitative Linear Time Logic
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Semiring-based constraint satisfaction and optimization
- Semiring-based specification approaches for quantitative security
Cited in
(2)
This page was built for publication: Semiring-based specification approaches for quantitative security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7031237)
