Browsing by Author Nandewal, A.
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) | Supervisor(s) |
---|---|---|---|
2016 | Security protocol for distributed networks using formal method specification | Nandewal, A.; Mahendra, D.; Chandrasekaran, K. | - |