Aiur · Zellux 的博客
blog.yxwang.me
最近有点忙，今天总算在某个课题deadline前把论文憋出来交上去了。跑这儿来推荐两篇上个月看到的比较有意思的paper，都比较偏理论，也很老。 今天写介绍下第一篇，剑桥大学的A Logic of Authentication，中了SOSP ‘89，整理后发在1990年的ACM Transactions on Computer Systems上。 http://www.csie.fju…
讨论
登录后参与讨论
还没有评论，来说第一句吧。