Keyword :
Scollar , Safe collaboration language , SECURITY , Capability based security , Knowledge behavior models , Capabilities , Secure programming language , Capability security , Secure programming , Software security , Formal Model , Secure software , Scoll
