[isabelle] Access control summary

[diekmann]

We can calculate the access control matrix for a fixed service. This answers for example the question "who is allowed to set up ssh connections with whom?".
For this feature, we want to answer the question for any any service: "Who is allowed to set up connections with which services with whom?".

Pull requests welcome :-)

Interested? I am happy to help. Send me an email: http://www.net.in.tum.de/de/mitarbeiter/diekmann/

This feature can also be implemented as part of a thesis or interdisciplinary project at Technische Universität München.