利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有...利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。展开更多
2023年11月26日至30日,“第三十届ACM计算机与通信安全会议(ACM Conference on Computer and Communications Security,CCS)”在丹麦哥本哈根举行。清华大学网络研究院段海新教授带领的网络和系统安全研究团队发表的论文“Silence is no...2023年11月26日至30日,“第三十届ACM计算机与通信安全会议(ACM Conference on Computer and Communications Security,CCS)”在丹麦哥本哈根举行。清华大学网络研究院段海新教授带领的网络和系统安全研究团队发表的论文“Silence is not Golden:Disrupting the Load Balancing of Authoritative DNS Servers”获得杰出论文奖。论文第一作者为清华大学网络研究院2020级博士生张丰露。这是段海新教授团队关于域名服务系统安全研究成果在CCS会议上获得的第二个杰出论文奖。展开更多
文摘利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。
文摘2023年11月26日至30日,“第三十届ACM计算机与通信安全会议(ACM Conference on Computer and Communications Security,CCS)”在丹麦哥本哈根举行。清华大学网络研究院段海新教授带领的网络和系统安全研究团队发表的论文“Silence is not Golden:Disrupting the Load Balancing of Authoritative DNS Servers”获得杰出论文奖。论文第一作者为清华大学网络研究院2020级博士生张丰露。这是段海新教授团队关于域名服务系统安全研究成果在CCS会议上获得的第二个杰出论文奖。
