| acceptSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| Attacker | SecLib.Trustworthy, SecLib.Untrustworthy |
| Authority | SecLib.Trustworthy, SecLib.Untrustworthy |
| bindSocketSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| certify | SecLib.Trustworthy, SecLib.Untrustworthy |
| Close | SecLib.Trustworthy |
| connectSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| dlm | SecLib.Trustworthy |
| File | SecLib.Trustworthy, SecLib.Untrustworthy |
| flock | SecLib.Trustworthy |
| getLineSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| H | SecLib.LatticeLH |
| hatch | SecLib.Trustworthy |
| inet_addrSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| L | SecLib.LatticeLH |
| Less | SecLib.Trustworthy, SecLib.Untrustworthy |
| less | SecLib.Trustworthy |
| Loc | SecLib.Trustworthy |
| mkFile | SecLib.Trustworthy |
| MkLoc | SecLib.Trustworthy |
| mkScreen | SecLib.Trustworthy |
| newIORefSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| ntimes | SecLib.Trustworthy |
| observe | SecLib.Trustworthy |
| Open | SecLib.Trustworthy |
| plug | SecLib.Trustworthy, SecLib.Untrustworthy |
| portInet | SecLib.Trustworthy, SecLib.Untrustworthy |
| public | SecLib.Trustworthy, SecLib.Untrustworthy |
| putStrLnSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| putStrSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| readFileSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| readRefSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| recvSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| Ref | SecLib.Trustworthy, SecLib.Untrustworthy |
| reveal | SecLib.Trustworthy |
| revealIO | SecLib.Trustworthy |
| run | SecLib.Trustworthy, SecLib.Untrustworthy |
| scr | SecLib.LatticeLH |
| Screen | SecLib.Trustworthy, SecLib.Untrustworthy |
| Sec | SecLib.Trustworthy, SecLib.Untrustworthy |
| SecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| SecSockAddr | SecLib.Trustworthy, SecLib.Untrustworthy |
| SecSocket | SecLib.Trustworthy, SecLib.Untrustworthy |
| sendSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| sIsBoundSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| sIsConnectedSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| socketSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| s_read | SecLib.Trustworthy, SecLib.Untrustworthy |
| s_write | SecLib.Trustworthy, SecLib.Untrustworthy |
| up | SecLib.Trustworthy, SecLib.Untrustworthy |
| value | SecLib.Trustworthy, SecLib.Untrustworthy |
| writeFileSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |
| writeRefSecIO | SecLib.Trustworthy, SecLib.Untrustworthy |