✦ LIBER ✦

Formal specification of an access control system

✍ Scribed by Susan Stepney; Stephen P. Lord

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rewrite Based Specification of Access Co

✍ Horatiu Cirstea; Pierre-Etienne Moreau; Anderson Santana de Oliveira 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 319 KB

Formal specification of a persistent obj

✍ J Murphy; J Grimson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 969 KB

Physical security: Selecting an access c

✍ Belden Menkus 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Graph Transformations for the Specificat

✍ Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 280 KB

Making formal specifications accessible

✍ J.E. Cooling; T.S. Hughes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 654 KB

To install an Access Control System, act

✍ Per L. Hoving 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 724 KB