Run-time monitoring and enforcement of electronic contracts

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Proposed NIST standard for role-based access control

David F. Ferraiolo, Ravi Sandhu, Serban I. Gavrila et al. · ACM Transactions on Information and System Security · 2001 · 2.5K citations · Full text

Computing, Cybersecurity, Authentication +13

Law-governed interaction

Naftaly H. Minsky, Victoria Ungureanu · ACM Transactions on Software Engineering and Methodology · 2000 · 318 citations · Full text

Computing, Computer Systems, Systems Engineering +14

Towards formal modeling of e-contracts

Olivera Marjanovic, Zoran Milošević · 2002 · 72 citations

Management, Information Systems, Information Technology +15

Contract representation for run-time monitoring and enforcement

Carlos Molina-Jiménez, Santosh Shrivastava, Ellis Solaiman et al. · 2003 · 52 citations

Computing, Computer Science, Contracts +14