Department of Electrical Engineering and Computer Science Systems Assurance Institute, Syracuse University, Syracuse, New York 13244, USA;
机译:分布式演算的基于角色的访问控制
机译:[高阶逻辑(HOL)-Haskell-Erlang FFI-Erlang Yanni机器学习库]基于电子显微镜异构计算和信息学R&D环境/ S-A的识别洞察力的Cryo-EM图像处理框架的基础机制和捷的技术沟通
机译:逻辑工程:HOL规范和用于TCP实现的符号评估测试
机译:在高阶逻辑和HOL中实现分布式访问控制的微积分
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:使用空间分布式多细胞联盟实现复杂的生物逻辑电路
机译:基于角色的分布式微积分访问控制
机译:工业控制系统(ICs)安全指南。监控和数据采集(sCaDa)系统,分布式控制系统(DCs)和其他控制系统配置,如可编程逻辑控制器(pLC)。修订版2。