ProNoBiS - Probability and Nondeterminism, Bisimulations and Security