INTERACTIVE ANALYSIS OF A SECURITY SPECIFICATION Application US-20190361788-A1 United States of America 28 Nov 2019