Combining UML, ASTD and B for the formal specification of an access control filter

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Interactive Visualization, Engineering, Visual Formalism +5

Role-based access control models

Ravi Sandhu, Edward J. Coyne, H.L. Feinstein et al. · Computer · 1996 · 5.8K citations

Engineering, Information Security, Software Engineering +18

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Engineering, Software Systems, B Method +27

Organization based access control

Anas Abou El Kalam, Rania El Baida, Philippe Balbiani et al. · 2004 · 551 citations · Full text

Engineering, Information Security, Health Care Domain +16

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 377 citations

Engineering, Computer Analysis, Program Analysis +7