Skip to content

[isabelle] Access control summary #52

Description

@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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions