Titlebook: Rigorous State-Based Methods; 8th International Co Alexander Raschke,Dominique Méry Conference proceedings 2021 Springer Nature Switzerland

類屬

書目名稱Rigorous State-Based Methods影響因子(影響力)




書目名稱Rigorous State-Based Methods影響因子(影響力)學(xué)科排名




書目名稱Rigorous State-Based Methods網(wǎng)絡(luò)公開度




書目名稱Rigorous State-Based Methods網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Rigorous State-Based Methods被引頻次




書目名稱Rigorous State-Based Methods被引頻次學(xué)科排名




書目名稱Rigorous State-Based Methods年度引用




書目名稱Rigorous State-Based Methods年度引用學(xué)科排名




書目名稱Rigorous State-Based Methods讀者反饋




書目名稱Rigorous State-Based Methods讀者反饋學(xué)科排名

背信

有危險

收集

Fengqing Jiang,Neng Xiong,Xinyu Lian,Senén González,Klaus-Dieter Schewe

champaign

arcane

善于

法律的瑕疵

完成

Towards ASM-Based Automated Formal Verification of Security Protocolsrules and property schema, to be customised according to the specific protocol to be verified. The effectiveness of this approach is shown by means of their application to a number of well-known cryptographic security protocols.

GRACE

Extending ASMETA with Time FeaturesASMs and the ASMETA framework can be used to model and analyze a variety of systems, and many of them rely on time constraints. In this paper, we present the ASMETA extension to deal with model time features.