Description of Paralocks Language Semantics in TLA+
-
Published:2024-02
Issue:1
Volume:50
Page:53-62
-
ISSN:0361-7688
-
Container-title:Programming and Computer Software
-
language:en
-
Short-container-title:Program Comput Soft
Publisher
Pleiades Publishing Ltd
Reference14 articles.
1. Devyanin, P.N., et al., Integration of mandatory and role-based access control and mandatory integrity control in a verified hierarchical model of operating system security, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2020, vol. 32, no. 1, pp. 7–26. 2. Lamport, L., Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002. 3. Denning, D.E., A lattice model of secure information flow, Commun. ACM, 1976, no. 5, pp. 236–243. 4. Broberg, N. and Sands, D., Paralocks: Role-based information flow control and beyond, Conf. Rec. Annu. ACM Symp. Principles of Programming Languages, 2010, pp. 431–444. 5. Myers, A.C. and Liskov, B., A decentralized model for information flow control, ACM SIGOPS Oper. Syst. Rev., 1997, no. 5, pp. 129–142.
|
|