Formal development of path discovery in AODV Routing Protocol using Event B Read more about Formal development of path discovery in AODV Routing Protocol using Event B
Wavelet Approximation Using C1 Matrix Ces ro Summability Method of Jacobi Series Read more about Wavelet Approximation Using C1 Matrix Ces ro Summability Method of Jacobi Series
A new secure authenticated key agreement scheme for wireless mobile communication in an EHR system using cryptography Read more about A new secure authenticated key agreement scheme for wireless mobile communication in an EHR system using cryptography
Article A Survey on Formal Modelling for Secure Routing in Mobile Ad hoc Networks Read more about Article A Survey on Formal Modelling for Secure Routing in Mobile Ad hoc Networks