I am working on securely opening personal storage across the internet with a point-to-point app that also lets you selectively open parts of your file system to other users.
I just proved out the application’s security model yesterday in my test automation. Once I finish the messaging subapp I will bump it to version 0.1 for public beta, but you can play with it now on your home network.
Comments
I am working on securely opening personal storage across the internet with a point-to-point app that also lets you selectively open parts of your file system to other users.
I just proved out the application’s security model yesterday in my test automation. Once I finish the messaging subapp I will bump it to version 0.1 for public beta, but you can play with it now on your home network.
https://github.com/prettydiff/share-file-systems
How did you prove your protocol is secure? I couldn't find any Tamarin, TLA+, ProVerif, ... in the Github.
Here is my write up of the security model: 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...