Reducing Runtime Overhead of Information Flow Control by Adopting the Testing Technique
碩士 === 國立東華大學 === 資訊工程學系 === 102 === Preventing information leakage during program execution is crucial. We use the information flow control (IFC) technique to achieve the prevention. Existing IFC models generally suffer from the drawbacks of: (1) over control and (2) large runtime overhead caused b...
Main Authors: | Tsung-Han Yu, 游宗翰 |
---|---|
Other Authors: | Shih-Chien Chou |
Format: | Others |
Published: |
2014
|
Online Access: | http://ndltd.ncl.edu.tw/handle/59w3gc |
Similar Items
-
Methods for Reducing Monitoring Overhead in Runtime Verification
by: Wu, Chun Wah Wallace
Published: (2013) -
Methods for Reducing Monitoring Overhead in Runtime Verification
by: Wu, Chun Wah Wallace
Published: (2013) -
Improving Runtime Overheads for detectEr
by: Ian Cassar, et al.
Published: (2015-03-01) -
Policy based runtime verification of information flow
by: Sarrab, Mohamed Khalefa
Published: (2011) -
Recording Rendering API Commands for Instant Replay : A Runtime Overhead Comparison to Real-Time Video Encoding
by: Holmberg, Marcus
Published: (2020)