最近有点忙，今天总算在某个课题 deadline 前把论文憋出来交上去了。跑这儿来推荐两篇上个月看到的比较有意思的 paper，都比较偏理论，也很老。今天写介绍下第一篇，剑桥大学的 A Logic of Authentication，中了 SOSP ‘89，整理后发在 1990 年的 ACM Transactions on Computer Systems 上。http://www.csie.fju.edu.tw/~yeh/research/papers/os-reading-list/burrows-tocs90-logic.pdf（另一篇是 Safe Kernel Extensions W……