AUTLOG-an advanced logic of authentication | IEEE Conference Publication | IEEE Xplore