Security Requirements Specification: A Formal Method Perspective

2020 7th International Conference on Computing for Sustainable Global Development (INDIACom) ◽

10.23919/indiacom49435.2020.9083691 ◽

2020 ◽

Author(s):

Aditya Dev Mishra ◽

K. Mustafa

Keyword(s):

Formal Method ◽

Requirements Specification ◽

Security Requirements

Download Full-text

Security Requirements Specification in Service-Oriented Business Process Management

2009 International Conference on Availability, Reliability and Security ◽

10.1109/ares.2009.90 ◽

2009 ◽

Author(s):

Michael Menzel ◽

Ivonne Thomas ◽

Christoph Meinel

Keyword(s):

Business Process ◽

Business Process Management ◽

Process Management ◽

Requirements Specification ◽

Security Requirements ◽

Service Oriented

Download Full-text

Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method

Communications in Computer and Information Science - Systems, Software and Services Process Improvement ◽

10.1007/978-3-319-44817-6_5 ◽

2016 ◽

pp. 58-69 ◽

Author(s):

Masao Ito

Keyword(s):

Natural Language ◽

Formal Method ◽

Requirements Specification

Download Full-text

Security Requirements Specification in Process-aware Information Systems

ISSE 2009 Securing Electronic Business Processes ◽

10.1007/978-3-8348-9363-5_14 ◽

2010 ◽

pp. 145-154

Author(s):

Michael Menzel ◽

Ivonne Thomas ◽

Benjamin Schüler ◽

Maxim Schnjakin ◽

Christoph Meinel

Keyword(s):

Information Systems ◽

Requirements Specification ◽

Security Requirements

Download Full-text

OWASP Risk Analysis Driven Security Requirements Specification for Secure Android Mobile Software Development

2018 IEEE Conference on Dependable and Secure Computing (DSC) ◽

10.1109/desec.2018.8625114 ◽

2018 ◽

Author(s):

Kai Qian ◽

Reza M. Parizi ◽

Dan Lo

Keyword(s):

Risk Analysis ◽

Software Development ◽

Requirements Specification ◽

Security Requirements ◽

Mobile Software

Download Full-text

UML-SR: A Novel Security Requirements Specification Language

2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs.2019.00051 ◽

2019 ◽

Author(s):

Muhammad Mohsin ◽

Muhammad Umair Khan

Keyword(s):

Specification Language ◽

Requirements Specification ◽

Security Requirements

Download Full-text

Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

IEE Proceedings - Software ◽

10.1049/ip-sen:20000460 ◽

2000 ◽

Vol 147 (1) ◽

pp. 1 ◽

Author(s):

J.-S. Lee ◽

S.-D. Cha

Keyword(s):

Real Time ◽

Formal Method ◽

Requirements Specification ◽

Download Full-text

Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches

Proceedings of the XIV Brazilian Symposium on Information Systems - SBSI'18 ◽

10.1145/3229345.3229401 ◽

2018 ◽

Author(s):

Peterson Rodrigues ◽

Miguel Ecar ◽

Stefane V. Menezes ◽

João Pablo S. da Silva ◽

Gilleanes T. A. Guedes ◽

...

Keyword(s):

Formal Method ◽

Empirical Evaluation ◽

Requirements Specification

Download Full-text

Security Requirements Specification Framework for Cloud Users

Lecture Notes in Electrical Engineering - Future Information Technology ◽

10.1007/978-3-642-40861-8_43 ◽

2014 ◽

pp. 297-305 ◽

Author(s):

Rida Naveed ◽

Haider Abbas

Keyword(s):

Requirements Specification ◽

Security Requirements ◽

Download Full-text

An Enterprise Level Security Requirements Specification Model

Proceedings of the 38th Annual Hawaii International Conference on System Sciences ◽

10.1109/hicss.2005.88 ◽

2005 ◽

Author(s):

E. Anderson ◽

J. Choobineh ◽

M.R. Grimaila

Keyword(s):

Requirements Specification ◽

Security Requirements ◽

Enterprise Level

Download Full-text

A Formal Methods Approach to Security Requirements Specification and Verification

2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2019.00033 ◽

2019 ◽

Author(s):

Quentin Rouland ◽

Brahim Hamid ◽

Jean-Paul Bodeveix ◽

Mamoun Filali

Keyword(s):

Formal Methods ◽

Requirements Specification ◽

Security Requirements ◽

Specification And Verification

Download Full-text