Automatic Extraction of Behavioral Models from Distributed Systems and Services
作者： Ioana Şora , Doru-Thom Popovici
DOI: 10.1007/978-3-642-54092-9_14
关键词:
摘要: Many techniques used for discovering faults and vulnerabilities in distributed systems services require as inputs formal behavioral models of the under validation. Such are traditionally written by hand, according to specifications which known, leading a gap between real have be validated their abstract models.
springer.com
core.ac.uk
upt.ro 
sci-hub.st 参考文章(21)
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pellicione, Massimo Tivoli, Automated Inference of Models for Black Box Systems Based on Interface Descriptions Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. pp. 79- 96 ,(2012) , 10.1007/978-3-642-34026-0_7
Luca Viganò, Towards the Secure Provision and Consumption in the Internet of Services Trust, Privacy and Security in Digital Business. pp. 214- 215 ,(2012) , 10.1007/978-3-642-32287-7_19
Elvira Albert, Bjarte M. Østvold, José Miguel Rojas, Automated Extraction of Abstract Behavioural Models from JMS Applications formal methods for industrial critical systems. pp. 16- 31 ,(2012) , 10.1007/978-3-642-32469-7_2
Simone Fischer-Hübner, Günther Pernul, Costas Lambrinoudakis, Trust, Privacy and Security in Digital Business ,(2008)
David von Oheimb, Sebastian Mödersheim, ASLan++ -- a formal security specification language for distributed systems formal methods. pp. 1- 22 ,(2010) , 10.1007/978-3-642-25271-6_1
Brian Campbell, Ian Stark, Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation formal methods for industrial critical systems. pp. 185- 199 ,(2014) , 10.1007/978-3-319-10702-8_13
Matthias Buchler, Johan Oudinet, Alexander Pretschner, Semi-Automatic Security Testing of Web Applications from a Secure Model 2012 IEEE Sixth International Conference on Software Security and Reliability. pp. 253- 262 ,(2012) , 10.1109/SERE.2012.38
S. Shoham, E. Yahav, S.J. Fink, M. Pistoia, Static Specification Mining Using Automata-Based Abstractions IEEE Transactions on Software Engineering. ,vol. 34, pp. 651- 666 ,(2008) , 10.1109/TSE.2008.63
Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli, Automatic synthesis of behavior protocols for composable web-services foundations of software engineering. pp. 141- 150 ,(2009) , 10.1145/1595696.1595719
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro, SEIM Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems - PESOS '10. pp. 22- 28 ,(2010) , 10.1145/1808885.1808891