March 23, 2018 / / in cs updates on arXiv.org / with No comments /
In this paper, we enunciate the theorem of secrecy in tagged protocols using the theory of witness-functions and we run a formal analysis on a new tagged version of the Needham-Schroeder public-key protocol using this theorem. We discuss the significance of tagging in securing cryptographic protocols as well.
Low-Complexity Concatenated LDPC-Staircase Codes. (arXiv:1803.01076v1 [cs.IT])High-Dynamic-Range Imaging for Cloud Segmentation. (arXiv:1803.01071v1 [cs.CV])Role of risk and information in a group formation experiment on a small-world network. (arXiv:1803.01085v1 [physics.soc-ph])Specialized Interior Point Algorithm for Stable Nonlinear System Identification. (arXiv:1803.01066v1 [cs.SY])Practical Contextual Bandits with Regression Oracles. (arXiv:1803.01088v1 [cs.LG])
0 comments:
Post a Comment