![]() |
![]() |
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
Discusses how formal analysis of cryptographic protocols is very important for securing communication and processing information Introduces the reader to several formal verification methods and software commonly used today Covers general knowledge on cryptographic primitives and formal reasoning as basic blocks to understanding protocols Focuses on post-quantum cryptographic schemes Presents how this topic is significant in daily life such as online banking, instant messaging, etc.
This book features selected papers from the 7th International Conference on Mathematics and Computing (ICMC 2021), organized by Indian Institute of Engineering Science and Technology (IIEST), Shibpur, India, during March 2021. It covers recent advances in the field of mathematics, statistics, and scientific computing. The book presents innovative work by leading academics, researchers, and experts from industry.
|
![]() ![]() You may like...
Terminator 6: Dark Fate
Linda Hamilton, Arnold Schwarzenegger
Blu-ray disc
![]() R79 Discovery Miles 790
|