https://123dok.net/document/z1d466vp-security-models-lecture-computational-security.html