SBSNNI

AcronymDefinition
SBSNNIStrong Bi-Simulation-Based Strong Non-Deterministic Non-Interference