Browsing by Subject BAN logic Protocols
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2008 | Formal analysis of two standardized protocols using standard spaces | Mathuria, Anish M.; Soni, Shraddha |
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2008 | Formal analysis of two standardized protocols using standard spaces | Mathuria, Anish M.; Soni, Shraddha |