3 papers
cs.SE2025
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
Regan Meloche, Durga Sivakumar, Amal A. Anda +4
Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays…
cs.CR2025
Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip
Luigi Logrippo
The multi level Bell La Padula model for secure data access and data flow control, formulated in the 1970s, was based on the theory of partial orders. Since then, another model, ba…
cs.CR2024
The order-theoretical foundation for data flow security
Luigi Logrippo
Some theories on data flow security are based on order-theoretical concepts, most commonly on lattice concepts. This paper presents a correspondence between security concepts and p…