![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Paolo Perlasca 3 Elisa Bertino , Barbara Catania , Elena Ferrari , Paolo Perlasca: A logical framework for reasoning about access control models. TISSEC 6 (1): 71-127 (2003) 2 Elisa Bertino , Barbara Catania , Paolo Perlasca: Introducing Cooperation and Actions in Amalgamated Knowledge Bases. DASFAA 2001 : 108-115 1 Elisa Bertino , Barbara Catania , Elena Ferrari , Paolo Perlasca: A logical framework for reasoning about access control models. SACMAT 2001 : 41-52 ![]() DiSC'02 © 2003 Association for Computing Machinery |