This talk introduces SML which is a set of basic instructions used in modeling of secrecy models. Please note that this is work in progress and more information will be updated as the project develops