http://wiki.foofun.cn//index.php?action=history&feed=atom&title=Academic_Papers 2026-04-06T20:04:16Z 本wiki上该页面的版本历史 MediaWiki 1.37.1 http://wiki.foofun.cn//index.php?title=Academic_Papers&diff=953&oldid=prev 2022-03-19T11:51:46Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="zh-Hans-CN"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←上一版本</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2022年3月19日 (六) 11:51的版本</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l33">第33行：</td> <td colspan="2" class="diff-lineno">第33行：</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== <del style="font-weight: bold; text-decoration: none;">Security </del>==</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>== <ins style="font-weight: bold; text-decoration: none;">安全 </ins>==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.261 CiteSeer link page]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.261 CiteSeer link page]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> </table>

Zhang3 http://wiki.foofun.cn//index.php?title=Academic_Papers&diff=150&oldid=prev 2021-12-28T05:28:11Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="zh-Hans-CN"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←上一版本</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2021年12月28日 (二) 05:28的版本</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l40">第40行：</td> <td colspan="2" class="diff-lineno">第40行：</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== <del style="font-weight: bold; text-decoration: none;">Distributed Systems </del>==</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>== <ins style="font-weight: bold; text-decoration: none;">分布式系统 </ins>==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3768 CiteSeer link page]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3768 CiteSeer link page]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l47">第47行：</td> <td colspan="2" class="diff-lineno">第47行：</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2620 CiteSeer link page]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2620 CiteSeer link page]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== <del style="font-weight: bold; text-decoration: none;">Specific Implementation Techniques </del>==</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>== <ins style="font-weight: bold; text-decoration: none;">具体实现技术 </ins>==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) [http://www.hack.org/mc/texts/pclsr.txt hack.org repository]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) [http://www.hack.org/mc/texts/pclsr.txt hack.org repository]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Resources]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Resources]]</div></td></tr> </table>

Zhang3 http://wiki.foofun.cn//index.php?title=Academic_Papers&diff=149&oldid=prev 2021-12-28T05:27:36Z

<p>创建页面，内容为“请注意，这些链接大多数都指向pdf文件，其中一些可以直接下载。 == 内核设计 == * &#039;The Case for Crypto Protocol Awareness in the Kernel&#039; by Burnside and Keromytis, 2006 <a href="/index.php?title=Http://academiccommons.columbia.edu/catalog/ac:149447_Academic_Commons_link_page&amp;action=edit&amp;redlink=1" class="new" title="Http://academiccommons.columbia.edu/catalog/ac:149447 Academic Commons link page（页面不存在）">http://academiccommons.columbia.edu/catalog/ac:149447 Academic Commons link page</a> * &#039;Exokernel: An Operating System Architecture for Application-Level Resource Management&#039;, by Engler, Kaashoek and O’Toole, 1995 http://citeseer.ist.psu.edu/viewdoc/summary?doi…”</p> <p><b>新页面</b></p><div>请注意，这些链接大多数都指向pdf文件，其中一些可以直接下载。<br /> <br /> == 内核设计 ==<br /> * 'The Case for Crypto Protocol Awareness in the Kernel' by Burnside and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A149447 Academic Commons link page]]<br /> <br /> * 'Exokernel: An Operating System Architecture for Application-Level Resource Management', by Engler, Kaashoek and O’Toole, 1995 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6047 CiteSeer link page]]<br /> <br /> * 'Improving IPC by Kernel Design' by Liedtke, 1993 [[http://zoo.cs.yale.edu/classes/cs422/2010/bib/liedtke93improving.pdf Yale PDF]]<br /> <br /> * 'Operating System Virtualization: Practice and Experience' by Laadan and Nieh, 2008 [[http://academiccommons.columbia.edu/catalog/ac%3A111055 Academic Commons link page]]<br /> <br /> * 'An Overview of the Synthesis Operating System' by Pu and Massalin, 1989 [[http://academiccommons.columbia.edu/catalog/ac%3A143176 Academic Commons link page]]<br /> <br /> * 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9257 CiteSeer link page]]<br /> <br /> * 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]<br /> <br /> * 'Speculative Execution as an Operating System Service' by Locasto and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A110558 Academic Commons link page]]<br /> <br /> * 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Massalin, 1992 [[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=0B740BDE247580D4D3685C6792DEE535?doi=10.1.1.29.4871&amp;rep=rep1&amp;type=pdf CiteSeer PDF]] [[http://valerieaurora.org/synthesis/SynthesisOS/ch1.html Valerie Aurora HTML]]<br /> <br /> * 'The Synthesis Kernel' by Pu, Massalin, and Ioannidis, 1987 [[https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf USENIX PDF]]<br /> <br /> * 'Threads and Input/Output in the Synthesis Kernel', by Pu and Massalin, 1989 [[http://www.cs.princeton.edu/courses/archive/fall05/cos518/papers/synthesis.pdf Princeton PDF]]<br /> <br /> == 文件系统设计 ==<br /> * 'ChunkFS' by Aurora, 2006 [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson.pdf usenix.org PDF]] [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson_html/ usenix.org HTML]] [[http://valerieaurora.org/review/chunkfs.pdf Valerie Aurora PDF]]<br /> <br /> * 'Improving File System Reliability and Availability with Continuous Checker and Repair' by Gunawi, 2011 [[http://nma.berkeley.edu/ark:/28722/bk0009d284g UC Berkeley PDF]]<br /> <br /> * 'Repair-Driven File System Design' by Aurora, 2006 [[http://valerieaurora.org/review/repair.pdf Valerie Aurora PDF]]<br /> <br /> * 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]<br /> <br /> == Security ==<br /> * 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.261 CiteSeer link page]]<br /> <br /> * 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9257 CiteSeer link page]]<br /> <br /> * 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]<br /> <br /> == Distributed Systems ==<br /> * 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3768 CiteSeer link page]]<br /> <br /> * 'Unreliable Failure Detectors for Reliable Distributed Systems' by Chandra and Toueg, 1996 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.498 CiteSeer link page]]<br /> <br /> * 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2620 CiteSeer link page]]<br /> <br /> == Specific Implementation Techniques ==<br /> * 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) [http://www.hack.org/mc/texts/pclsr.txt hack.org repository]<br /> <br /> [[Category:Resources]]</div>

Zhang3