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
22
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