...
机译:基于流量敏感自动机的解密策略监控
School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China School of Computer Science and Technology, Nantong University, Nantong, China;
School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China;
automaton; confidentiality; declassification policy; information flow security; noninterference;
机译:基于流量敏感自动机的解密策略监控
机译:监视内联的解密策略
机译:动态监控解密策略
机译:动态信息流策略的流敏感语义
机译:探索远程患者监测(RPM)扩散的政策和策略为高级人口照顾
机译:监测与艾滋病毒和艾滋病有关的政策改革:在PEPFAR合作伙伴国家加强政策监测和实施的路线图
机译:基于自动机的并发程序的机密性监视