مرکز منطقه ای اطلاع رساني علوم و فناوري - Preservation of probabilistic information flow under refinement

Title of article :

Preservation of probabilistic information flow under refinement

Author/Authors :

Thomas Santen، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

213

To page :

249

Keywords :

information theory , CSP , Process calculus , Information flow property , Refinement , Confidentiality , Security

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262459

Link To Document :