-
A formal integration of access control policies into information systems
Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most... -
Combining UML, ASTD and B for the formal specification of an access control f...
International audience
