[Lecture Notes in Computer Science] Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Volume 11317 (Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings) || Analysing Data Security Requirements of Android Mobile Banking Application
- 作者Traore, Issa; Woungang, Isaac; Ahmed, Sherif Saad; Malik, Yasir
- 文件大小194.32KB
- 发表时间2018
- DOI10.1007/978-3-030-03712-3_3
- 页码30-37
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - LTL Guided Planning: Revisiting Automatic Tool Composition in ETIMargaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Margaria, Tiziana; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard; Steffen, Bernhard · 2007
Special Section on “Leveraging Formal Methods”Tiziana Margaria; Bernhard Steffen · 2006
Guest Editor’s introductionMike Hinchey; Tiziana Margaria; Bernhard Steffen · 2009
Dynamic testing via automata learningHarald Raffelt; Maik Merten; Bernhard Steffen; Tiziana Margaria · 2009
EditorialW. Rance Cleaveland; Tiziana Margaria; Bernhard Steffen · 1997
PrefaceTiziana Margaria; Bernhard Steffen · 2008
A pragmatic approach to software synthesisFreitag, Burkhard; Margaria, Tiziana; Steffen, Bernhard · ACM SIGPLAN Notices · 1994
Simplicity as a Driver for Agile InnovationMargaria, Tiziana; Steffen, Bernhard · 2010