In Industrial Internet, mutual authentication between enterprises is a prerequisite for
establishing reliable upstream and downstream relationships. Existing authentication …

Non-repudiation protocols are aimed at exchanging digital messages and irrefutable
receipts between two mistrusting parties over the Internet, which form the cornerstones of …

Target tracking is one of the problems existing in the supply chain management. The use of
radio frequency identification (RFID) in target tracking helps improve the monitoring …

Internet communication is one of the significant aspects of modern civilization. People use
banking, health, social, or shopping platforms and send a lot of data. Each communication …

Wireless body area networks (WBANs) have been deployed in numerous applications,
where the most common communication technology is Bluetooth. Bluetooth uses the …

This chapter introduces formal methods, and how they are applied to cryptographic
protocols to achieve high security assurance. Cryptographic protocols are communication …