SLOGS: Security through predicate LOGic in SSH

SLOGS is an implementation of mandatory access control mechanism in SSH protocol. It takes an input from the user about his location and session priority and then implements some predicates and facts which are divided into three sets namely Security influential predicates (set 1), normal security predicates (set 2) and backup system predicates (set 3). The implementation of one or all sets is on the discretion of the administrator of the system. There is a tradeoff between security and performance; when all sets are applied the security is increased but the performance will be decreased. The performance and security were decided by the location and requirement of the user.The system is implemented using type-1 fuzzy logic to take care of the imprecision in input to the systems.