Arnaud Dury

Learn More
Multiagent applications will appear more and more in open, heterogeneous, evolving and distributed environments, such as the Internet. In order to run in such environments, agents will need to adapt themselves to new platforms and protocols. We propose a model of agents that are able to run, communicate and move between different multiagent platforms. This(More)
An approach for combined modeling of role-based access control systems (RBAC) together with business workflows is presented. The model allows to model check various security properties. Several techniques to confine the state explosion, which may occur during model checking are presented and experimentally evaluated using the model checker Spin. The(More)
To succeed, agents need to become part of legacy and future systems that are not agent oriented. That means agents must be able to run (and migrate) on servers that are not based on multi-agent platforms. Also, agents will have to be able to communicate using languages and protocols that are not dedicated to them, such as HTML. Last, agents need to be able(More)
  • A Dury, Crim S Boroday, Crim A Petrenko, Crim V Lotz
  • 2007
While RBAC is an increasingly popular and efficient security solution, RBAC design and maintaining of policies is a challenging problem in a dynamic business environment. Thus, automated RBAC verification techniques are needed. In this report, we investigate the capability of one of the most successful verification technologies, model checking. Based on the(More)