CÁC BÀI BÁO KHOA HỌC 06:08:27 Ngày 24/10/2019 GMT+7
On typing information flow

We investigate the issue of typing confidentiality in a language-based information-flow security approach, aiming at improving some previously proposed type systems, especially for higher-order languages with mutable state à la ML. We show that the typing of termination leaks can be largely improved, by particularizing the case where the alternatives in a conditional branching both terminate. Moreover, we also provide a quite precise way of approximating the confidentiality level of an expression, that ignores the level of values used for side-effects only. © Springer-Verlag Berlin Heidelberg 2005.

 Boudol G.
   693.pdf    Gửi cho bạn bè
  Từ khóa : Approximation theory; High level languages; Query languages; Security of data; Conditional branching; Flow security; Information flow; Termination leaks; Data flow analysis