Dataset - CKAN

Formal verification of secured routing protocols

With the development of digital networks, such as Internet, communication protocols are omnipresent. Digital devices have to interact with each other in order to...
- HTML

You can also access this registry using the API (see API Docs).