I am reading the 1992 " #Authentication in distributed systems: theory and practice" [1] by Butler Lampson, Martín Abadi, Michael Burrows (who wrote the AltaVista search engine) and Edward Wobber. (I had read other articles around this paper but missed this very detailed one) It describes the modal "says" operator (S says P), and explains authentication, #authorization, #capabilities, #delegation, and much more in terms of that operator.
They were working at Digital Equipment's Systems Research Center [2] named SRC - which helps understand some of the examples.
Abadi later described an index Monad-based version of this in the 2006 "Access control in a core calculus of dependency" [3] (the index is on the type of Agents), which explains the modal aspect of the calculus in terms of #categoryTheory.
Are there any advances in this area that people here feel should be considered?
[1]
https://dl.acm.org/doi/abs/10.1145/138873.138874
[2]
DEC Systems Research Center - Wikipedia
[3]
https://dl.acm.org/doi/abs/10.1145/1159803.1159839
