Filtrer vos résultats
- 17
- 10
- 16
- 7
- 3
- 1
- 7
- 20
- 8
- 1
- 2
- 5
- 2
- 3
- 2
- 1
- 2
- 1
- 2
- 2
- 4
- 26
- 1
- 16
- 11
- 4
- 1
- 1
- 1
- 27
- 8
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
27 résultats
|
|
|
triés par
|
On-Board Architecture and Protocols Attack Analysis, Deliverable D3.4.4[Contract] EVITA, Telecom ParisTech. 2011
Rapport
hal-02286283v1
|
|||
Tests Results, Deliverable D4.4.2[Contract] Projet EVITA, Eurecom, Telecom ParisTech. 2012
Rapport
hal-02286279v1
|
|||
LLD Modeling, Verification, and Automatic C-Code Generation, Deliverable D4.2.3[Contract] EVITA, Telecom ParisTech. 2012
Rapport
hal-02286282v1
|
|||
|
|
Towards Safety and Security Co-engineering: Challenging Aspects for a Consistent IntertwiningSecurity and Safety Interplay of Intelligent Software Systems, pp.3-16, 2019
Chapitre d'ouvrage
hal-02275365v1
|
||
|
|
A Model-based Approach to Realize Privacy and Data Protection by Design2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2021, Vienna, Austria. pp.327-334, ⟨10.1109/EuroSPW54576.2021.00042⟩
Communication dans un congrès
cea-03602608v1
|
||
|
|
Formal analysis approach for multi-layered system safety and security co-engineering14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩
Communication dans un congrès
cea-03789094v1
|
||
|
|
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineeringWorkshop AITA AI Trustworthiness Assessment - AAAI Spring Symposium, Mar 2023, Palo Alto (Californie), United States
Communication dans un congrès
hal-04264027v1
|
||
Security Weaknesses Detection by Symbolic Analysis of Scenarios2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Communication dans un congrès
hal-01812121v1
|
|||
|
|
Assisting the Design of Secured Applications for Embedded SystemsComputer Aided Engineering. Télécom ParisTech, 2013. English. ⟨NNT : 2013-ENST-001⟩
Thèse
tel-01185312v1
|
||
Secure on-board protocols specification", Deliverable D3.3[Contract] EVITA, Telecom ParisTech. 2010
Rapport
hal-02286286v1
|
|||
|
|
Towards Safety and Security Co-engineeringSecurity and Safety Interplay of Intelligent Software Systems, 11552, Springer, pp.3-16, 2019, Conference proceedings CSITS 2018, ISSA 2018, ⟨10.1007/978-3-030-16874-2⟩
Chapitre d'ouvrage
cea-02275377v1
|
||
Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3[Contract] EVITA, Telecom ParisTech. 2010
Rapport
hal-02286288v1
|
|||
|
|
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures10th International Conference, MEDI 2021, Jun 2021, Tallinn, Estonia. pp.18-32, ⟨10.1007/978-3-030-78428-7_2⟩
Communication dans un congrès
cea-03308305v1
|
||
|
|
Facilitating the adoption of standards through model-based representationICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.213-216, ⟨10.1109/ICECCS2018.2018.00035⟩
Communication dans un congrès
cea-03282263v1
|
||
|
|
Safe-by-Design Development Method for Artificial Intelligent Based SystemsSEKE 2019 : The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbon, Portugal. pp.391-397, ⟨10.18293/SEKE2019-094⟩
Communication dans un congrès
cea-02273349v1
|
||
Designing Sequence Diagram Models for Robustness to Attacks2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Communication dans un congrès
hal-01812124v1
|
|||
Secure On-board Architecture Specification, Deliverable D3.2[Contrat] EVITA, Telecom ParisTech. 2010
Rapport
hal-02286287v1
|
|||
|
|
A Formal Security Model for Verification of Automotive Embedded ApplicationsSAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Communication dans un congrès
hal-03576507v1
|
||
Representative Safety Assessment of Autonomous Vehicle for Public Transportation21th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapour city, Singapour, 2018, 2018, Unknown, Unknown Region
Communication dans un congrès
hal-01811824v1
|
|||
|
|
Introducing a multi-layered model-based design approach towards safety-security co-engineeringIEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩
Communication dans un congrès
cea-03789133v1
|
||
|
|
Method and framework for security risks analysis guided by safety criteriaMODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event Canada, Canada. pp.1-8, ⟨10.1145/3417990.3420047⟩
Communication dans un congrès
cea-03308209v1
|
||
|
|
A Model-based approach to realize privacy and data protection by designIWPE'21 - 2021 International Workshop on Privacy Engineering, Sep 2021, vienne (Virtual conference), Austria
Communication dans un congrès
cea-03416657v1
|
||
On-Board Architecture and Protocols Verification, Deliverable D3.4.3[Contract] EVITA, Telecom ParisTech. 2011
Rapport
hal-02286284v1
|
|||
|
|
Facilitating safety and security co-design and formal analysis in multi-layered system modeling20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩
Communication dans un congrès
cea-03789114v1
|
||
|
|
Multi-layered model-based design approach towards system safety and security co-engineeringACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩
Communication dans un congrès
cea-03789160v1
|
||
|
|
Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Communication dans un congrès
cea-01302826v1
|
||
|
|
PDP-ReqLite: A lightweight approach for the elicitation of privacy and data protection requirementsData Privacy Management, Cryptocurrencies and Blockchain Technology. DPM 2020, CBT 2020., pp.161-177, 2020, 978-3-030-66172-4. ⟨10.1007/978-3-030-66172-4_10⟩
Chapitre d'ouvrage
cea-03264121v1
|