夏天最后的一场雨     

程华清 《少年世界》2003,(11)

雨丝飘零,散满了我的发,发随风飘起,在雨中久久不愿再安然停靠我的肩头,在风中,在雨里,发在我的耳边喃喃低语,无法释怀……  相似文献   

密码协议分析的逻辑方法及其哲学意蕴     

程华清 《毕节学院学报》2017,(6):63-68

逻辑方法是密码协议分析中具有代表性的形式化方法.从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较.通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、可操作性方面所具有的优势以及在有效攻击的构造和分析结论可信度上的局限性,以及从参与分析的主体角度分析了类BAN逻辑方法在协议分析上的主体特征.除了这种比较分析,也试图在计算主义框架下提供类BAN逻辑方法应用于密码协议分析的哲学基础,并给出了方法论上的启示.  相似文献