Iptables_Semantics icon indicating copy to clipboard operation
Iptables_Semantics copied to clipboard

[isabelle] Access control summary

Open diekmann opened this issue 9 years ago • 0 comments

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.

diekmann avatar Dec 16 '15 14:12 diekmann