نتائج البحث - "Security critical systems"

1

Book

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems

المؤلفون: Ferrari , Enrico, Schlick , Rupert, Folkesson , Peter, Sangchoolie , Behrooz, Vara González, José Luis de la

مصطلحات موضوعية: Analysis criteria, Gaps, Limitations, Security-critical systems, V&V method, Verification & Validation

وصف الملف: application/pdf

Relation: Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE. Cham, Springer, 2022, 35-46; pc_21749960; https://doi.org/10.1007/978-3-031-14862-0_9; https://hdl.handle.net/10578/37448

الاتاحة: https://hdl.handle.net/10578/37448
https://doi.org/10.1007/978-3-031-14862-0_9

View record in BASE

2

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems

المؤلفون: Ferrari, Enrico, Schlick, Rupert, De la Vara, Jose Luis, Folkesson, Peter, Sangchoolie, Behrooz

المصدر: VALU3S.

مصطلحات موضوعية: Verification & Validation, V&V method, Gaps, Limitations, Analysis criteria, Safety-critical systems, Security-critical systems

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-59792

3

Protecting Security-Critical Real-Time Systems against Fault Attacks in Many-Core Platforms

المؤلفون: Norollah, Amin, Kazemi, Zahra, Derafshi, Danesh, Beitollahi, Hakem, Fazeli, Mahdi, 1979

المصدر: 2022 CPSSI 4th International Symposium on Real-Time and Embedded Systems and Technologies (RTEST).

مصطلحات موضوعية: FPGA, hardware accelerator, real-time systems, security-aware scheduler, security-critical systems

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-49808

4

Structured Argumentation for Assurance Case of Monitoring System based on UAVs

المؤلفون: Vladimir Sklyar, Kharchenko Vyacheslav S

المصدر: DESSERT

مصطلحات موضوعية: Structured text, Structured argumentation, business.industry, Computer science, Graph (abstract data type), Monitoring system, Security critical systems, Software engineering, business, Argumentation framework

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5459436aaac79fdf89a864ce73c9dc5c
https://doi.org/10.1109/dessert50317.2020.9125005

View record in OpenAIRE

5

Academic Journal

Detection of security related affect and behaviour in passenger transport

المؤلفون: Björn Schuller, Matthias Wimmer, Dejan Arsic, Tobias Moosmayr, Gerhard Rigoll

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mmk.ei.tum.de/publ/pdf/08/08sch22.pdf.

مصطلحات موضوعية: Index Terms, Audiovisual Emotion Recognition, Affective Computing, Security-critical Systems, Transport Surveillance, Automotive Environment

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.4738; http://www.mmk.ei.tum.de/publ/pdf/08/08sch22.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.4738
http://www.mmk.ei.tum.de/publ/pdf/08/08sch22.pdf

View record in BASE

6

OASIS: Weakening user obligations for security-critical systems

المؤلفون: Thein Than Tun, Bashar Nuseibeh, Amel Bennaceur

المساهمون: SFI, EPSRC, The Open University [Milton Keynes] (OU), Bennaceur, Amel

المصدر: 28th IEEE International Requirements Engineering Conference
28th IEEE International Requirements Engineering Conference, Aug 2020, Zurich, Switzerland
RE

مصطلحات موضوعية: Computer science, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Software requirements specification, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Security critical systems, Computer security, computer.software_genre, Control theory, 020204 information systems, e-voting, 0202 electrical engineering, electronic engineering, information engineering, system security, [INFO]Computer Science [cs], computer, Abstraction (linguistics), user behaviour

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b01fed27e4c7054dc8e29f5e69901683

View record in OpenAIRE

7

Using Ontologies in Formal Developments Targeting Certification

المؤلفون: Achim D. Brucker, Burkhart Wolff

المصدر: Lecture Notes in Computer Science ISBN: 9783030349677
IFM

مصطلحات موضوعية: Consistency (negotiation), Documentation, ComputingMilieux_THECOMPUTINGPROFESSION, business.industry, Computer science, Certification, Software engineering, business, Security critical systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5c71d547405b7a70cf126ca4735601a1
https://doi.org/10.1007/978-3-030-34968-4_4

View record in OpenAIRE

8

The CORAS Approach for OPM Based Risk Management

المؤلفون: Qian Dong, Meng-Qi Ji, Feng Yang, Yi-Fan Zhu

المصدر: DEStech Transactions on Engineering and Technology Research.

مصطلحات موضوعية: Risk analysis (engineering), Computer science, business.industry, State (computer science), Graphics, Security critical systems, business, Risk assessment, Single frame, Risk management

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0e1afc1d2c65a5795fd705b240a3a62c
https://doi.org/10.12783/dtetr/pmsms2018/24940

View record in OpenAIRE

9

A Requirements Engineering-based Approach for evaluating Security Requirements Engineering Methodologies

المؤلفون: Abdelmalek Benzekri, Ahmad Samer Wazan, Francois Barrere, Romain Laborde, Sravani Teja Bulusu

المساهمون: Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE)

المصدر: Advances in Intelligent Systems and Computing ISBN: 9783319770277