2 ms·
How did you prove your protocol is secure? I couldn't find any Tamarin, TLA+, ProVerif, ... in the Github.
by red0point 6y ago
How did you prove your protocol is secure? I couldn't find any Tamarin, TLA+, ProVerif, ... in the Github.
- austincheney 6y agoHere is my write up of the security model: https://github.com/prettydiff/share-file-systems/blob/master/documentation/security_model.md https://github.com/prettydiff/share-file-systems/blob/master... I need to update some of the language in that. Since the test automation now demonstrates both positive and negative tests against that model. EDIT: Please note the application is currently using HTTP and not HTTPS. I am aware that is a large security gap. Please see the Missing Features section at the bottom of the readme.md: https://github.com/prettydiff/share-file-systems/blob/master/readme.md#missing-features https://github.com/prettydiff/share-file-systems/blob/master...