An Interactive and Continuous Authorization Scheme by using Belnap Logic. - Hiroyuki Sato; Sridhar Nikita (COMPSAC (2), 2019)