{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:28:07Z","timestamp":1747189687106,"version":"3.40.5"},"reference-count":42,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2023,1]]},"abstract":"<jats:p> Security services can keep a system from security breaches for a while, but they are ultimately compromised as the system is deployed and used. This paper describes the modeling of security fault-tolerant (SFT) requirements, which can tolerate the failures of security services for systems. SFT requirements are specified together with the security services requirements so that they tolerate breaches of the security services. This paper addresses an approach for specifying and analyzing SFT requirements using a meta-model. Threats to systems are identified in the requirements specification and analysis phases, and SFT measures against the threats are described with security services. An electronic commerce system is selected to illustrate the approach. <\/jats:p>","DOI":"10.1142\/s0218194022500644","type":"journal-article","created":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T03:40:21Z","timestamp":1668656421000},"page":"23-53","source":"Crossref","is-referenced-by-count":0,"title":["Modeling of Security Fault-Tolerant Requirements for Secure Systems"],"prefix":"10.1142","volume":"33","author":[{"given":"Don","family":"Pathirage","sequence":"first","affiliation":[{"name":"Department of Computer Science, Texas Tech University, Lubbock, TX 79409-3104, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4380-7213","authenticated-orcid":false,"given":"Michael","family":"Shin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Texas Tech University, Lubbock, TX 79409-3104, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongsoo","family":"Jang","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Texas Tech University, Lubbock, TX 79409-3104, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2022,11,16]]},"reference":[{"key":"S0218194022500644BIB001","first-page":"21","volume":"12","author":"Schneier B.","year":"1999","journal-title":"Dr.Dobbs J."},{"key":"S0218194022500644BIB002","first-page":"594","volume-title":"Proc. of the ASE\/IEEE International Conf. Privacy, Security, Risk and Trust","author":"Shin M. E.","year":"2013"},{"key":"S0218194022500644BIB004","first-page":"842","volume-title":"Proc. 2nd IEEE Int. Conf. Recent Trends in Electronics, Information & Communication Technology","author":"Archana B. S.","year":"2017"},{"key":"S0218194022500644BIB005","first-page":"487","volume-title":"Proc. 29th Int. Conf. Software Engineering and Knowledge Engineering","author":"Shin M.","year":"2017"},{"key":"S0218194022500644BIB006","first-page":"155","volume-title":"Proc. 30th Int. Conf. Software Engineering and Knowledge Engineering","author":"Shin M.","year":"2018"},{"key":"S0218194022500644BIB007","first-page":"10","volume-title":"Proc. 37th Annual Hawaii Int. Conf. System Sciences","author":"Alves-Foss J.","year":"2004"},{"key":"S0218194022500644BIB008","first-page":"99","volume-title":"Proc. Int. Conf. Network of the Future","author":"Moghaddam F. F.","year":"2017"},{"key":"S0218194022500644BIB009","first-page":"75","volume-title":"Proc. Int. Conf. Software Security and Assurance","author":"Gualdoni J.","year":"2017"},{"issue":"1","key":"S0218194022500644BIB010","first-page":"17","volume":"11","author":"Jander K.","year":"2019","journal-title":"J. Ubiq. Syst. Perv. Netw."},{"key":"S0218194022500644BIB011","first-page":"2212","volume-title":"Proc. IEEE 6th Int. Conf. Computer and Communications","author":"Rezaeighaleh H.","year":"2020"},{"key":"S0218194022500644BIB012","first-page":"1","volume-title":"Proc. IEEE Int. IoT, Electronics and Mechatronics Conf.","author":"Yendamury G.","year":"2021"},{"key":"S0218194022500644BIB013","first-page":"1","volume-title":"Proc. IEEE 5th Int. Conf. Industrial Cyber-Physical Systems","author":"Schmittner C.","year":"2022"},{"issue":"1","key":"S0218194022500644BIB015","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"Kephart J. O.","year":"2003","journal-title":"IEEE Comput."},{"volume-title":"Architecting Dependable Systems","year":"2003","author":"Ver\u00edssimo P. E.","key":"S0218194022500644BIB016"},{"key":"S0218194022500644BIB017","first-page":"200","volume-title":"Proc. Int. Conf. Computer and Communication Engineering","author":"Mougouei D.","year":"2012"},{"key":"S0218194022500644BIB018","first-page":"111","volume-title":"Proc. IEEE 11th Int. Conf. Information Assurance and Security","author":"Mir I. E.","year":"2015"},{"issue":"3","key":"S0218194022500644BIB019","doi-asserted-by":"crossref","first-page":"862","DOI":"10.1109\/JBHI.2020.3007488","volume":"25","author":"Gope P.","year":"2021","journal-title":"IEEE J. Biomed. Health Inf."},{"volume-title":"Proc. 2nd Int. Workshop on Information, Computation and Control Systems for Distributed Environments","year":"2020","author":"Kucherov N. N.","key":"S0218194022500644BIB020"},{"key":"S0218194022500644BIB021","first-page":"52","volume-title":"Proc. IEEE Int. Conf. Quantum Software","author":"Scheerer M.","year":"2022"},{"key":"S0218194022500644BIB022","doi-asserted-by":"crossref","first-page":"22608","DOI":"10.1109\/JIOT.2022.3184632","volume":"9","author":"Haseeb K.","year":"2022","journal-title":"IEEE Internet Things J."},{"volume-title":"Secure Systems Development with UML","year":"2005","author":"J\u00fcrjens J.","key":"S0218194022500644BIB023"},{"issue":"1","key":"S0218194022500644BIB024","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/s00766-004-0194-4","volume":"10","author":"Sindre G.","year":"2005","journal-title":"Requir. Eng."},{"key":"S0218194022500644BIB025","first-page":"55","volume-title":"Proc. 15th Annual Computer Security Applications Conf.","author":"McDermott J.","year":"1999"},{"volume-title":"Security Patterns","year":"2006","author":"Schumacher M.","key":"S0218194022500644BIB026"},{"volume-title":"Security Patterns in Practice","year":"2013","author":"Fernandez E. B.","key":"S0218194022500644BIB027"},{"key":"S0218194022500644BIB028","first-page":"54","volume-title":"Proc. IEEE Second Int. Workshop Requirements Patterns","author":"Olawande D.","year":"2012"},{"key":"S0218194022500644BIB029","first-page":"122","volume-title":"Proc. IEEE 25th Int. Requirements Engineering Conf.","author":"Turpe S.","year":"2017"},{"key":"S0218194022500644BIB030","first-page":"19","volume-title":"Proc. 9th IEEE Int. Conf. Engineering of Complex Computer Systems","author":"Gomaa H.","year":"2004"},{"issue":"1","key":"S0218194022500644BIB031","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.scico.2006.10.009","volume":"66","author":"Shin M. E.","year":"2007","journal-title":"Sci. Comput. Program."},{"key":"S0218194022500644BIB032","first-page":"769","volume-title":"Proc. 24th Int. Conf. Software Engineering and Knowledge Engineering","author":"Shin M. E.","year":"2012"},{"issue":"5","key":"S0218194022500644BIB033","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1142\/S021819401650025X","volume":"26","author":"Shin M. E.","year":"2016","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"S0218194022500644BIB034","first-page":"3","volume-title":"Proc. 4th Int. Workshop Interplay of Model-Driven and Component Based Software Engineering","author":"Shin M. E.","year":"2017"},{"volume-title":"Proc. 14th Int. Conf. Software Technologies","year":"2018","author":"Shin M.","key":"S0218194022500644BIB035"},{"key":"S0218194022500644BIB036","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-030-29157-0_17","volume-title":"Software Technologies ICSOFT 2018","volume":"1077","author":"Shin M.","year":"2019"},{"volume-title":"Proc. IEEE Frontiers in Education (FIE) Conf.","year":"2019","author":"Shahriar H.","key":"S0218194022500644BIB038"},{"volume-title":"WSRE","year":"2020","author":"Peldszus S.","key":"S0218194022500644BIB039"},{"issue":"1","key":"S0218194022500644BIB040","first-page":"15","volume":"9","author":"Jenkins J.","year":"2022","journal-title":"J. South. Assoc. Inform. Syst."},{"key":"S0218194022500644BIB041","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511779183","volume-title":"Software Modeling and Design: UML, Use Cases, Patterns and Software Architectures","author":"Gomaa H.","year":"2011"},{"volume-title":"The Web Application Hacker\u2019s Handbook: Finding and Exploiting Security Flaws","year":"2011","author":"Stuttard D.","key":"S0218194022500644BIB043"},{"key":"S0218194022500644BIB044","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","year":"2004","edition":"2"},{"key":"S0218194022500644BIB045","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"2005","edition":"2"},{"key":"S0218194022500644BIB046","first-page":"212","volume-title":"Proc. 2nd Int. Workshop on Self-Protecting Systems","author":"Jang D.","year":"2020"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194022500644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,11]],"date-time":"2023-03-11T04:39:49Z","timestamp":1678509589000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194022500644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,16]]},"references-count":42,"journal-issue":{"issue":"01","published-print":{"date-parts":[[2023,1]]}},"alternative-id":["10.1142\/S0218194022500644"],"URL":"https:\/\/doi.org\/10.1142\/s0218194022500644","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"type":"print","value":"0218-1940"},{"type":"electronic","value":"1793-6403"}],"subject":[],"published":{"date-parts":[[2022,11,16]]}}}