N = NonExpert
E = Expert
R = NonForgetful
ER = Expert & NonForgetful
NR = NonExpert & NonForgetful
NQ = NonExpert & QuickTimeOut
A = authorised

* SYSTEM 1
* Logout is allowed only from the home page
* No failure allowed
chk -L gctl SYSTEM1 secure                FALSE
chk -L gctl SYSTEM1N secure               FALSE
chk -L gctl SYSTEM1E secure               FALSE
chk -L gctl SYSTEM1R secure               TRUE
chk -L gctl SYSTEM1NR secure              FALSE
chk -L gctl SYSTEM1ER secure              TRUE

* SYSTEM 2
* Logout is allowed from every page
* No failure allowed
chk -L gctl SYSTEM2 secure                FALSE
chk -L gctl SYSTEM2N secure               FALSE
chk -L gctl SYSTEM2E secure               FALSE
chk -L gctl SYSTEM2R secure               TRUE
chk -L gctl SYSTEM2NR secure              TRUE
chk -L gctl SYSTEM2ER secure              TRUE

* SYSTEM 3
* Logout is allowed from every page and may be triggered by timeout
* No failure allowed
chk -L gctl SYSTEM3 secure                FALSE
chk -L gctl SYSTEM3N secure               FALSE
chk -L gctl SYSTEM3E secure               FALSE
chk -L gctl SYSTEM3R secure               TRUE
chk -L gctl SYSTEM3NR secure              TRUE
chk -L gctl SYSTEM3ER secure              TRUE
chk -L gctl SYSTEM3NQ secure              TRUE

* SYSTEM 4
* Logout is allowed from every page and may be triggered by timeout
* Failure allowed and authentication required for contact, post and reply
chk -L gctl SYSTEM4 secure                FALSE
chk -L gctl SYSTEM4A secure               FALSE
chk -L gctl SYSTEM4 integrity             FALSE
chk -L gctl SYSTEM4A integrity            TRUE
chk -L gctl SYSTEM4 confidentiality       FALSE
chk -L gctl SYSTEM4A confidentiality      FALSE
chk -L gctl SYSTEM4 both                  FALSE
chk -L gctl SYSTEM4A both                 FALSE

* SYSTEM 5
* Logout is allowed from every page and may be triggered by timeout
* Failure allowed and authentication required for read messages and profiles
chk -L gctl SYSTEM5 secure                FALSE
chk -L gctl SYSTEM5A secure               FALSE
chk -L gctl SYSTEM5 integrity             FALSE
chk -L gctl SYSTEM5A integrity            FALSE
chk -L gctl SYSTEM5 confidentiality       FALSE
chk -L gctl SYSTEM5A confidentiality      TRUE
chk -L gctl SYSTEM5 both                  FALSE
chk -L gctl SYSTEM5A both                 FALSE

* SYSTEM 6
* Logout is allowed from every page and may be triggered by timeout
* Failure allowed and authentication required for contact, post, reply and read messages and profiles
chk -L gctl SYSTEM6 secure                FALSE
chk -L gctl SYSTEM6A secure               TRUE
chk -L gctl SYSTEM6 integrity             FALSE
chk -L gctl SYSTEM6A integrity            TRUE
chk -L gctl SYSTEM6 confidentiality       FALSE
chk -L gctl SYSTEM6A confidentiality      TRUE
chk -L gctl SYSTEM6 both                  FALSE
chk -L gctl SYSTEM6A both                 TRUE