Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#204
Automatic addition of confidentiality to DIPLODOCUS channels does not work anymore
The problem can be reproduced with the SMart Card Protocol model