首页> 外文OA文献 >ASLan++ — A formal security specification language for distributed systems

【2h】

ASLan++ — A formal security specification language for distributed systems

机译：asLan ++ - 分布式系统的正式安全规范语言

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
David Von Oheimb;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Describing distributed systems with formal specification language focusing on deployment and communication paths of components [J] . Hayato Miyata, Kazuhiro Fujieda, Koichiro Ochimizu 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第569期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
2. Describing distributed systems with formal specification language focusing on deployment and communication paths of components [J] . Hayato Miyata, Kazuhiro Fujieda, Koichiro Ochimizu 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第569期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
3. Extending Formal Security Protocol Specification Languages for use with New Verifications Techniques [J] . LIANG TIAN, REINER DOJEN, TOM COFFEY WSEAS Transactions on Information Science and Applications . 2006,第2期

机译：扩展正式的安全协议规范语言以用于新的验证技术
4. ASLan++— A Formal Security Specification Language for Distributed Systems [C] . David von Oheimb, Sebastian Modersheim International Symposium on Formal Methods for Components and Objects . 2011

机译：Aslan ++ - 用于分布式系统的正式安全规范语言
5. Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems. [D] . Simko, Gabor. 2014

机译：电子物理系统领域特定建模语言的形式语义规范。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. ASLan++ — A Formal Security Specification Language for Distributed Systems [O] . Von Oheimb David, Mödersheim Sebastian Alexander 2010

机译：asLan ++ - 分布式系统的形式安全规范语言
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

ASLan++ — A formal security specification language for distributed systems

著录项

引文网络

相似文献

相关主题

期刊订阅