(F = Flexible, R = Robust, O = Open, S = Service-Enabling, T = Trusted)
FROST is an access control policy language developed at Xayn AG (formerly XAIN Foundation) between 2018 - 2019.
This page collects together several links and resources relating to FROST in one place.
- The reference implementation is hosted at Extropy's GitHub (for documentation, see the Yellow Paper linked below, esp. the Appendix section).
- The FROST Language: XAIN Foundation Yellow Paper v0.9. (Wayback Machine link)
- FROST: an attribute-based and user-centric access control policy language for open systems. Talk at 10th South of England Regional Programming Language Seminar, 18.09.18. (S-REPLS 10, slides)
- FROST, an Access Control Policy Language for Open Systems. Talk at San Francisco Blockchain Week 2018, 09.10.18. (slides)
- Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems. In Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT '19). Association for Computing Machinery, New York, NY, USA, 73–81. (ACM, arXiv)
- FROST Policy Verification. Formal verification of policies via compilation to SMT assertions. (unfinished draft)