Search Results - "ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection"

3D CyberCOP: a Collaborative Platform for Cybersecurity Data Analysis and Training

Authors: Kabil, Alexandre Duval, Thierry Cuppens, Nora et al.

Contributors: Kabil, Alexandre Duval, Thierry Cuppens, Nora et al.

Source: CDVE 2018 : 15th International Conference on Cooperative Design, Visualization and Engineering ; https://hal.science/hal-01831965 ; CDVE 2018 : 15th International Conference on Cooperative Design, Visualization and Engineering, Oct 2018, Hangzou, China. pp.176-183, ⟨10.1007/978-3-030-00560-3_24⟩ ; http://www.cdve.org/

Subject Terms: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems/H.5.1.1: Artificial, augmented, and virtual realities, HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.15: User-centered design, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Hangzou, China

Availability: https://hal.science/hal-01831965
https://hal.science/hal-01831965v1/document
https://hal.science/hal-01831965v1/file/CDVE2018.pdf
https://doi.org/10.1007/978-3-030-00560-3_24

The ultimate control flow transfer in a Java based smart card

Authors: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) et al.

Contributors: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) et al.

Source: Computers & Security. 50:33-46

Subject Terms: Fault Tree Analysis, Java Card Security, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, 0211 other engineering and technologies, 02 engineering and technology, Smart Card, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Countermeasures, Logical Attack, 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Evaluation, Control Flow Transfer, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01211370/file/15-CompSecu.pdf
https://inria.hal.science/hal-01211370v1
https://doi.org/10.1016/j.cose.2015.01.004
https://inria.hal.science/hal-01211370v1/document
https://hal.inria.fr/hal-01211370/document
https://www.sciencedirect.com/science/article/pii/S016740481500005X
https://hal.inria.fr/hal-01211370
https://dblp.uni-trier.de/db/journals/compsec/compsec50.html#BouffardL15

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

Authors: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir et al.

Contributors: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir et al.

Source: 2017 27th International Conference on Field Programmable Logic and Applications (FPL)
https://hal.science/hal-01558473
2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩
https://www.fpl2017.org/

Subject Terms: Information Flow Tracking, SoC, Zynq, Zynq SoC, CoreSight, ARM Debug components, IFT, Dynamic information flow tracking, DIFT, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, ACM: B.: Hardware/B.6: LOGIC DESIGN, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Subject Geographic: Ghent, Belgium

Availability: https://hal.science/hal-01558473
https://hal.science/hal-01558473v1/document
https://hal.science/hal-01558473v1/file/bare_conf.pdf
https://doi.org/10.23919/fpl.2017.8056767

libmask: Protecting Browser JIT Engines from the Devil in the Constants

Authors: Jangda, Abhinav Mishra, Mohit Baudry, Benoit et al.

Contributors: Jangda, Abhinav Mishra, Mohit Baudry, Benoit et al.

Source: Annual Conference on Privacy, Security and Trust ; https://inria.hal.science/hal-01382971 ; Annual Conference on Privacy, Security and Trust, Dec 2016, Auckland, New Zealand ; http://pst2016.unitec.ac.nz/

Subject Terms: Software diversity, jit, Security Enforcement, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Auckland, New Zealand

Availability: https://inria.hal.science/hal-01382971
https://inria.hal.science/hal-01382971v1/document
https://inria.hal.science/hal-01382971v1/file/PID4513621.pdf

Direct Construction of Recursive MDS Diffusion Layers using Shortened BCH Codes

Authors: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Contributors: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Source: Lecture Notes in Computer Science ; 21st International Workshop on Fast Software Encryption, FSE 2014, London, UK, March 3-5 ; https://inria.hal.science/hal-01044597 ; 21st International Workshop on Fast Software Encryption, FSE 2014, London, UK, March 3-5, Mar 2014, London, United Kingdom. pp.3-17, ⟨10.1007/978-3-662-46706-0_1⟩

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]

Subject Geographic: London, United Kingdom

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1412.4626; ARXIV: 1412.4626

Availability: https://inria.hal.science/hal-01044597
https://inria.hal.science/hal-01044597v2/document
https://inria.hal.science/hal-01044597v2/file/article.pdf
https://doi.org/10.1007/978-3-662-46706-0_1

Detecting Privacy Leaks in the RATP App: how we proceeded and what we found

Authors: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent et al.

Contributors: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent et al.

Source: GREHACK 2013 ; https://inria.hal.science/hal-00872967 ; GREHACK 2013, Guillaume Jeanne, Nov 2013, Grenoble, France

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

Subject Geographic: Grenoble, France

Availability: https://inria.hal.science/hal-00872967
https://inria.hal.science/hal-00872967v1/document
https://inria.hal.science/hal-00872967v1/file/ratp_app_analysis.pdf

Securing Logs in Operation-based Collaborative Editing

Authors: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal et al.

Contributors: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal et al.

Source: CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012 ; https://inria.hal.science/hal-00761058 ; CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012, Feb 2012, Seattle, United States

Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.5: Security and Protection/K.6.5.0: Authentication, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Seattle, United States

Availability: https://inria.hal.science/hal-00761058
https://inria.hal.science/hal-00761058v1/document
https://inria.hal.science/hal-00761058v1/file/iwces-paper.pdf

EM Decoding of Tardos Traitor Tracing Codes

Authors: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) et al.

Contributors: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) et al.

Source: ACM Multimedia and Security ; https://inria.hal.science/inria-00505875 ; ACM Multimedia and Security, Sep 2009, Princeton, United States

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing

Subject Geographic: United States

Time: Princeton, United States

Availability: https://inria.hal.science/inria-00505875
https://inria.hal.science/inria-00505875/document
https://inria.hal.science/inria-00505875/file/mmsec26_furon.pdf

Component-based Access Control: Secure Software Composition through Static Analysis

Authors: Parrend, Pierre Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) et al.

Contributors: Parrend, Pierre Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) et al.

Source: Software Composition ; https://inria.hal.science/inria-00270942 ; Software Composition, Mar 2008, Budapest, Hungary. pp.68-83, ⟨10.1007/978-3-540-78789-1_5⟩

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Subject Geographic: Budapest, Hungary

Availability: https://inria.hal.science/inria-00270942
https://inria.hal.science/inria-00270942v1/document
https://inria.hal.science/inria-00270942v1/file/parrend08cbac.pdf
https://doi.org/10.1007/978-3-540-78789-1_5

Sécurité informatique : peut-on se fier au numérique ? par Hélène Kirchner et Claude Kirchner. Le sens des mots, entretien avec Isabelle de Lamberterie, propos recueillis par Dominique Chouchan.

Authors: Kirchner, Hélène Kirchner, Claude de Lamberterie, Isabelle et al.

Contributors: Kirchner, Hélène Kirchner, Claude de Lamberterie, Isabelle et al.

Source: Les Cahiers de l'INRIA - La Recherche ; https://inria.hal.science/inria-00546796 ; Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: E.: Data/E.3: DATA ENCRYPTION, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Availability: https://inria.hal.science/inria-00546796
https://inria.hal.science/inria-00546796/document
https://inria.hal.science/inria-00546796/file/inria-n420-juin08.pdf

Physical aggregated objects and dependability

Authors: Allard, Fabien Banâtre, Michel Benhamouda, Fabrice et al.

Contributors: Allard, Fabien Banâtre, Michel Benhamouda, Fabrice et al.

Source: https://inria.hal.science/inria-00556951 ; [Research Report] RR-7512, INRIA. 2011, pp.33.

Subject Terms: ubiquity, dependability, RFID, security, cryptography, physical objects, aggregation, coupling, signature, authentication, Ambient computing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Availability: https://inria.hal.science/inria-00556951
https://inria.hal.science/inria-00556951/document
https://inria.hal.science/inria-00556951/file/RR-7512.pdf

Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances

Authors: Bacara, Christophe Hauspie, Michaël Deville, Damien et al.

Contributors: Bacara, Christophe Hauspie, Michaël Deville, Damien et al.

Source: Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems ; Workshop on Privacy by Design in Distributed Systems W-P2DS ; https://hal.science/hal-01801080 ; Workshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. ⟨10.1145/3195258.3195262⟩

Subject Terms: Network security, Privacy Preservation, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Porto, Portugal

Time: Porto, Portugal

Availability: https://hal.science/hal-01801080
https://doi.org/10.1145/3195258.3195262

Adding Integrity Verification Capabilities to the LDPC-Staircase Erasure Correction Codes

Authors: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) et al.

Contributors: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) et al.

Source: https://inria.hal.science/inria-00379155 ; 2009.

Subject Terms: ACM: D.: Software, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Availability: https://inria.hal.science/inria-00379155
https://inria.hal.science/inria-00379155v1/document
https://inria.hal.science/inria-00379155v1/file/verifec_globecom09_v0.06.pdf

Ideal Stabilization

Authors: Nesterenko, Mikhail Tixeuil, Sébastien Department of computer science et al.

Contributors: Nesterenko, Mikhail Tixeuil, Sébastien Department of computer science et al.

Source: https://hal.inria.fr/inria-00394118 ; [Research Report] 2009, pp.15.

Subject Terms: Self-stabilization, Distributed algorithm, specification, safety, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0906.1947; inria-00394118; https://hal.inria.fr/inria-00394118; https://hal.inria.fr/inria-00394118/document; https://hal.inria.fr/inria-00394118/file/ideal.pdf; ARXIV: 0906.1947

Availability: https://hal.inria.fr/inria-00394118
https://hal.inria.fr/inria-00394118/document
https://hal.inria.fr/inria-00394118/file/ideal.pdf

Aspects of Availability Enforcing timed properties to prevent denial of service

Authors: Fradet, Pascal Hong Tuan Ha, Stéphane Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

Contributors: Fradet, Pascal Hong Tuan Ha, Stéphane Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) et al.

Source: https://inria.hal.science/inria-00344838 ; [Research Report] RR-6754, INRIA. 2008, pp.37.

Subject Terms: Aspect-oriented programming, availability, resource management, timed automata, weaving, denial of service, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/inria-00344838
https://inria.hal.science/inria-00344838/document
https://inria.hal.science/inria-00344838/file/RR-6754.pdf

Java Components Vulnerabilities - An Experimental Classification Targeted at the OSGi Platform

Authors: Parrend, Pierre Frénot, Stéphane Architectures of networks of services (ARES) et al.

Contributors: Parrend, Pierre Frénot, Stéphane Architectures of networks of services (ARES) et al.

Source: https://inria.hal.science/inria-00157341 ; [Research Report] RR-6231, INRIA. 2007, pp.84.

Subject Terms: OSGi Platform, Security, Dependability, Java, Hardened Execution Platform, Vulnerability Catalog, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0706.3812; ARXIV: 0706.3812

Availability: https://inria.hal.science/inria-00157341
https://inria.hal.science/inria-00157341v4/document
https://inria.hal.science/inria-00157341v4/file/RR-6231.pdf

Vérification d'intégrité et codes correcteurs d'erreurs de niveau applicatif (AL-FEC)

Authors: Cunche, Mathieu Protocols and applications for the Internet (PLANETE) Centre Inria de l'Université Grenoble Alpes et al.

Contributors: Cunche, Mathieu Protocols and applications for the Internet (PLANETE) Centre Inria de l'Université Grenoble Alpes et al.

Source: https://inria.hal.science/inria-00102523 ; [Stage] 2006, pp.34.

Subject Terms: LDPC, Forward Error Correction, FEC, integrity verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Availability: https://inria.hal.science/inria-00102523
https://inria.hal.science/inria-00102523v1/document
https://inria.hal.science/inria-00102523v1/file/rapport_cunche_v2_06sep26.pdf

Cache timing attacks countermeasures and error detection in Euclidean addition chains based scalar multiplication algorithm for elliptic curves

Authors: Dosso, Fangan-Yssouf Véron, Pascal Institut de Mathématiques de Toulon - EA 2134 (IMATH) et al.

Contributors: Dosso, Fangan-Yssouf Véron, Pascal Institut de Mathématiques de Toulon - EA 2134 (IMATH) et al.

Source: IOLTS 2017 ; https://univ-tln.hal.science/hal-01618180 ; IOLTS 2017, Jul 2017, Thessaloniki, Greece. pp.163-168, ⟨10.1109/IOLTS.2017.8046212⟩

Subject Terms: error detection, cache-timing attack, scalar multiplication, Co-Z arithmetic, Addition chains, fault attack, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Thessaloniki, Greece

Availability: https://univ-tln.hal.science/hal-01618180
https://doi.org/10.1109/IOLTS.2017.8046212

Brief announcement: Compact Self-Stabilizing Leader Election for General Networks

Authors: Blin, Lélia Tixeuil, Sébastien Networks and Performance Analysis (NPA) et al.

Contributors: Blin, Lélia Tixeuil, Sébastien Networks and Performance Analysis (NPA) et al.

Source: Proceedings of DISC 2017 ; 31st International Symposium on Distributed Computing (DISC 2017) ; https://hal.sorbonne-universite.fr/hal-01553088 ; 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria ; http://www.disc-conference.org/wp/disc2017/

Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Subject Geographic: Vienna, Austria

Availability: https://hal.sorbonne-universite.fr/hal-01553088

Tolerating Random Byzantine Failures in an Unbounded Network

Authors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Contributors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Source: ISSN: 0129-6264.

Subject Terms: Byzantine failures, reliable communication, distributed computing, random failures, scalability, grid, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], envir, manag

Relation: https://hal.sorbonne-universite.fr/hal-01294311

Availability: https://hal.sorbonne-universite.fr/hal-01294311