☰

绘制安全协议

tag-icon • tag-icon technical-drawing
绘制安全协议

这是一个认证密钥交换协议，有两方A和B，他们交换一些消息。最后他们计算出共享密钥SK。

截屏

我知道使用 Latex 排版很酷，我真的很想学习它。有人可以给我一些建议吗？请帮帮我！谢谢

答案1

图像中的符号不​​太清晰；如果需要，只需更改它们。

这个想法是建立一个有三列的数组。

\documentclass{article}
\usepackage{amsmath,amssymb,booktabs}
\begin{document}
\[
\begin{array}{@{}l@{}c@{}l@{}}
\toprule
\hat{A} && \hat{B} \\
A_1=g^{a_1},\quad A_2=g^{a_2} &&
B_1=g^{b_1},\quad B_2=g^{b_2} \\
\bar{x}\gets_R \mathbb{Z}_q,\quad x=H_1(\bar{x},a_1,a_2) &&
\bar{y}\gets_R \mathbb{Z}_q,\quad y=H_1(\bar{y},b_1,b_2) \\
& \xrightarrow{\textstyle X=g^x} \\
& \xleftarrow {\textstyle Y=g^y} \\
\mathit{sid}=(X,Y,\hat{A},\hat{B}) &&
\mathit{sid}=(X,Y,\hat{A},\hat{B}) \\
Z_1=(YB_1)^x,\quad Z_2=(YB_2)^x &&
Z_1=X^{y+b_1},\quad Z_2=X^{y+b_2} \\
Z_3=Y^{x+a_1},\quad Z_4=Y^{x+a_2} &&
Z_3=(XA_1)^y,\quad Z_4=(XA_2)^y \\
\mathit{SK}=H(Z_1,Z_2,Z_3,Z_4,\mathit{sid}) &&
\mathit{SK}=H(Z_1,Z_2,Z_3,Z_4,\mathit{sid}) \\
\bottomrule
\end{array}
\]
\end{document}

在此处输入图片描述

相关内容