Takuo Watanabe Kiyoshi Yamada Naoyuki Nagatou Specifying context-aware runtime security policies using an algebraic policy specification language. 662-667 2004 conf/iastedSE/2004 IASTED Conf. on Software Engineering db/conf/iastedSE/se2004.html#WatanabeYN04