拒水、拒油和阻燃性能合一的丙烯酸酯共聚物的合成及应用

以1H,1H,2H,2H-全氟辛醇、丙烯酸、烯丙基溴、亚磷酸三乙酯为原料,分别合成了1H,1H,2H,2H-全氟辛基丙烯酸酯(FA)与烯丙基磷酸二乙酯(DEAP),并采用乳液聚合的方法,将FA、DEAP、丙烯酸羟乙酯(HEA)和丙烯酸十八酯共聚得到了稳定的共聚物PFPA乳液.该PFPA乳液具有良好的拒水拒油性能,同时具有一定的阻燃性能,经其处理的棉织物对水的接触角达到148°,而拒油等级为5级,织物的极限氧指数(LOI)由原来的18%提高到21.5%.     

威胁驱动的Web应用On-The-Fly导航模型验证方法

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战. 该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证. 实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.