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)