發送短信 : MIXING DEDUCTIVE AND INDUCTIVE ANALYSES FOR SECURITY APPLICATIONS

  ______    ______    ____       ___     _    _   
 /_   _//  /_   _//  |  _ \\    / _ \\  | || | || 
 `-| |,-    -| ||-   | |_| ||  / //\ \\ | || | || 
   | ||     _| ||_   | .  //  |  ___  ||| \\_/ || 
   |_||    /_____//  |_|\_\\  |_||  |_|| \____//  
   `-`'    `-----`   `-` --`  `-`   `-`   `---`