[吳文華]. / 手稿本. / 論文(碩士) -- 香港中文大學. / 參考文獻: p. 375-383. / Shou gao ben. / [Wu Wenhua]. / Lun wen (shuo shi) -- Xianggang zhong wen da xue. / Can kao wen xian: p. 375-383. / Chapter 第一篇 --- 論名言計執與謬誤 --- p.1 / Chapter 第一章 --- 唯識宗破小乘心不相應行法之理論 --- p.1 / Chapter 第一節 --- 總論心不相應行法之正義 --- p.1 / Chapter 第二節 --- 總破小乘所計心不相應行為實有之說 --- p.8 / Chapter 第三節 --- 另破別論名句文身 / Chapter 第二章 --- 巴克來破抽象觀念之說兼與唯識宗之說比較研究 / Chapter 第一節 --- 洛克抽象觀念之理論 / Chapter 第二節 --- 謬誤根源之發現 / Chapter 第三節 --- 語言文字如何引生謬誤 / Chapter 第四節 --- 避免謬誤之途徑 / Chapter 第五節 --- 所欲達到之真理 / Chapter 第六節 --- 評價：巴唯理論中之現代意義 / Chapter 第二篇 --- 破「心外之物」與「識外之境」 / Chapter 第一章 --- 唯識宗破小乘執物質卋界為離心實有之說 / Chapter 第一節 --- 初破能成之有對碍極微 / Chapter 第二節 --- 次破所成之有對碍根境 / Chapter 第三節 --- 對唯識宗破小乘色法之檢討 / Chapter 第二章 --- 巴克來破物質實體及心外物質世界之說 / Chapter 第一節 --- 巴克來破洛克初性次性之二分說 / Chapter 第二節 --- 巴克來破洛克物質實體之說 / Chapter 第三節 --- 巴克來破洛克之知覺代表理論 / Chapter 第三章 --- 比較研究 / Chapter 第三篇 --- 明「物不離心」與「境不離識」 / Chapter 第一章 --- 唯識宗論變似境 / Chapter 第一節 --- 明色法三正義 / Chapter 第二節 --- 因能´變ؤ能變所依的種子 / Chapter 第三節 --- 果能´變ؤ能變見相之八識自體分 / Chapter 第四節 --- 所變之見´相ؤ我法種種相唯識所現 / Chapter 第五節 --- 所變之見´相ؤ因緣變及分別變與三增多之辨 / Chapter 第二章 --- 巴克來論「存在即被知」 / Chapter 第一節 --- 第一論証 / Chapter 第二節 --- 第二論証 / Chapter 第三節 --- 第三論証 / Chapter 第三章 --- 比較研究 / Chapter 第一節 --- 巴唯二家攝物歸心之線索 / Chapter 第二節 --- 現代哲學對於知覺感覺與料之辯──第一線索 / Chapter 第三節 --- 現代哲學對於心物化約之之辯──第二線索 / Chapter 第四節 --- 第四節形上心靈與世界存續統一之辯──第三線索 / Chapter 第五節 --- 第五節自傳統至現代之心靈兩極之間之辯証與心靈新觀之形成

Thesis (Ph. D. in Political Science)--University of California, Berkeley, Spring 2006. / Description based on print version record. Includes bibliographical references (leaves 182-205).

No description available.

Thesis (Ph. D. in Civil and Environmental Engineering)--University of California, Berkeley, 2007. / "Fall 2007." Includes bibliographical references (p. 101-103). Also available online.

Thesis (Ed. D., Multicultural Education Program)--University of San Francisco, 1986. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 545-581).

Inaug.-diss.--Erlangen. / Lebenslauf.

No description available.

No description available.

No description available.

In the era of Linux being omnipresent, the demand for dynamically extending kernel capabil- ities without requiring changes to kernel source code or loading kernel modules at runtime is increasing. This is driven by numerous use cases such as observability, security, and network- ing, which can be efficiently addressed at the system level, underscoring the importance of such extensions. Any extension requires programmers to possess high levels of skill and thor- ough testing to ensure complete safety. The eBPF subsystem in the Linux kernel addresses this challenge by allowing applications to enhance the kernel's capabilities at runtime, while ensuring stability and security. This guaranteed safety is facilitated by the verifier engine, which statically verifies BPF code. In this thesis, we identify that the verifier implicitly relies on safety assumptions about its runtime execution environment, which are not being upheld in certain scenarios. One such critical aspect of the execution environment is the availability of stack space for use while executing the BPF program. Specifically, we high- light this fundamental issue in certain configuration of the BPF runtime environment within the Linux kernel and how this unsafe composition allowed for kernel stack overflow, thus violating safety guarantees. To tackle this problem, we propose a stack switching approach to ensure stack safety and evaluate its effectiveness. / Master of Science / Many platforms worldwide, including Meta, Netflix, Google, Cloudflare, and others, rely on the Linux kernel to manage their servers. To ensure system security, improve monitoring, and enhance networking efficiency, various kernel capabilities are dynamically added or re- moved at runtime without the need for reboots, thus minimizing downtime for users. The Linux Extended Berkeley Packet Filter (eBPF) subsystem facilitates dynamic and safe ex- tension by securely verifying the code injected into the kernel. This eases server maintenance tasks, eliminating concerns about system crashes when making runtime changes as eBPF is guaranteeing safety at all times. In our research, we demonstrate that if we attach verified eBPF in a certain manner, we can potentially stack overflow the kernel stack and crash the whole kernel due to unsafe composition with the Kernel. We also propose two solutions to this problem, which can ensure that eBPF remains safe while adhering to the guarantees it provides.