SEMANTICS OF THE PASSWORD-CAPABILITY SYSTEM ABSTRACT

The increasing problems of hacking and computer viruses have demonstrated the need for more secure computer systems. Conventional operating systems such as Unix, Linux, and Windows have not proved very satisfactory in dealing with such security problems. The capability paradigm seems to offer scope for more flexible computer system security but suffered from various implementation disadvantages. Password-capabilities allow for efficient implementation and offer scope for many security benefits. The Password-Capability System provides a simple, compact probabilistic security model. The operational semantics of the system are presented here