도서명	L4 마이크로커널 기반의 L4Linux-MLS 서버 설계 및 구현
저자	최용호
청구기호	004-최65ㅇ-TM
소장처	참고자료실
대출요구사항