Gateway Access Permission Technology for High Assurance. - Khalid Mahmood 003; Hironao Takahashi 001; Yasukai Arakawa (ICDCS Workshops, 2012)