St. Petersburg State Polytech Univ., Russia;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:软件架构设计的正式安全性分析:新兴建筑风格的表现力框架
机译:ZigBee传感器网络的支持公钥基础结构的安全框架的设计和实现分析
机译:安全基础架构设计的正式框架
机译:使Kerberos成为弹性基础设施,具有正式的安全分析
机译:针对网络基础架构攻击的仿生安全机制仿真框架
机译:网络威胁,恶劣环境和欧洲高北(EHN)在人类安全和多级监管全球维度中:适用于“特殊关键基础设施条件”(ECIC)下的关键基础设施的框架?