مرکز منطقه ای اطلاع رساني علوم و فناوري - Creating High Confidence in a Separation Kernel

Title of article :

Creating High Confidence in a Separation Kernel

Author/Authors :

W.B. Martin، نويسنده , , P.D. White and F.S. Taylor ، نويسنده ,

Issue Information :

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

Pages :

From page :

263

To page :

284

Keywords :

separation kernel , Formal specification , Refinement , Information flow , data isolation

Journal title :

Automated Software Engineering

Serial Year :

2002

Journal title :

Automated Software Engineering

Record number :

307098

Link To Document :