Specifying distributed trust management in LolliMon


We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework. LolliMon possesses features that make it well-suited to this application, including rigorous logical foundations, an expressive formula language, strong typing, and saturation as… (More)
DOI: 10.1145/1134744.1134753


  • Presentations referencing similar topics