scheme we present is designed to organize security rules, and thus
be of help to software developers who are concerned with writing
secure code and being able to automate detection of security
defects. These goals make our scheme simple, intuitive to a