Preferences

teleforce parent
Hi Dhaavi, Mycoria looks very promising and it reminded me of the early days of peer-to-peer system with Napster and Gnutella [1].

Any specific reason why you didn't use the standard based segment routing for source routing support, that can be adopted at layer 3 instead of custom layer 4 transport [2]?

For security analysis did you use BAN logic and ProVerif tool for verification [3], [4]?

[1] Gnutella:

https://en.wikipedia.org/wiki/Gnutella

[2] Segment routing:

https://en.wikipedia.org/wiki/Segment_routing

[3] Burrows–Abadi–Needham (BAN) logic:

https://en.wikipedia.org/wiki/Burrows%E2%80%93Abadi%E2%80%93...

[4] ProVerif:

https://en.wikipedia.org/wiki/ProVerif


dhaavi
Thanks!

I wasn't really aware segment routing, tbh. However, I do think with where Mycoria is going, the additional control to change things as needed will be required.

I have used VerifPal https://verifpal.com/ for security analysis before, but not yet with Mycoria.

Spackonewz (dead)

This item has no comments currently.