Conventional security policies for software applications are adequate for managing
concerns on the level of access control. But standard abstraction mechanisms of mainstream …