Mode | Name | Size | |
---|---|---|---|
d--------- | auditing | 48 | logplain |
-rw-r--r-- | authentication.md | 137 | logplain |
-rw-r--r-- | capability_based.md | 256 | logplain |
-rw-r--r-- | compiler.md | 144 | logplain |
-rw-r--r-- | identity.md | 114 | logplain |
-rw-r--r-- | memory.md | 158 | logplain |
-rw-r--r-- | operating_system.md | 104 | logplain |
d--------- | permission | 44 | logplain |
-rw-r--r-- | programming.md | 106 | logplain |
-rw-r--r-- | sandboxing.md | 291 | logplain |
-rw-r--r-- | secret.md | 93 | logplain |
-rw-r--r-- | timing.md | 144 | logplain |
d--------- | verification | 37 | logplain |