-
1دورية أكاديمية
المؤلفون: Guetmi, Nadir, Imine, Abdessamad
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1751-5858.
مصطلحات موضوعية: cloning middleware, synchronisation, mobile data sharing, mobile cloud computing, MCC, cloud pattern, Collaboration, Synchronization, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
العلاقة: hal-01651504; https://inria.hal.science/hal-01651504Test; https://inria.hal.science/hal-01651504/documentTest; https://inria.hal.science/hal-01651504/file/journal_version.pdfTest
الإتاحة: https://doi.org/10.1504/IJIIDS.2017.10007786Test
https://inria.hal.science/hal-01651504Test
https://inria.hal.science/hal-01651504/documentTest
https://inria.hal.science/hal-01651504/file/journal_version.pdfTest -
2دورية أكاديمية
المؤلفون: Guetmi, Nadir, Imine, Abdessamad
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1751-5858.
مصطلحات موضوعية: cloning middleware, synchronisation, mobile data sharing, mobile cloud computing, MCC, cloud pattern, Collaboration, Synchronization, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
العلاقة: hal-01651504; https://inria.hal.science/hal-01651504Test; https://inria.hal.science/hal-01651504/documentTest; https://inria.hal.science/hal-01651504/file/journal_version.pdfTest
الإتاحة: https://doi.org/10.1504/IJIIDS.2017.10007786Test
https://inria.hal.science/hal-01651504Test
https://inria.hal.science/hal-01651504/documentTest
https://inria.hal.science/hal-01651504/file/journal_version.pdfTest -
3دورية أكاديمية
المؤلفون: Cherif, Asma, Imine, Abdessamad
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science
العلاقة: http://arxiv.org/abs/1512.07684Test; EPTCS 201, 2015, pp. 48-62
-
4دورية أكاديمية
المؤلفون: Hoang, Bao-Thien, Imine, Abdessamad
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Social and Information Networks
العلاقة: http://arxiv.org/abs/1412.7653Test
الإتاحة: http://arxiv.org/abs/1412.7653Test
-
5دورية أكاديمية
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Electrical Engineering and Systems Science - Systems and Control
العلاقة: http://arxiv.org/abs/1302.3292Test; EPTCS 107, 2013, pp. 45-59
-
6تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://inria.hal.science/hal-00727599Test; https://inria.hal.science/hal-00727599v2/documentTest; https://inria.hal.science/hal-00727599v2/file/main.pdfTest
-
7تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://inria.hal.science/hal-00727599Test; https://inria.hal.science/hal-00727599v2/documentTest; https://inria.hal.science/hal-00727599v2/file/main.pdfTest
-
8تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), INRIA
المصدر: https://hal.inria.fr/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://hal.inria.fr/hal-00727599Test; https://hal.inria.fr/hal-00727599v2/documentTest; https://hal.inria.fr/hal-00727599v2/file/main.pdfTest
-
9تقرير
المؤلفون: Imine, Abdessamad, Cherif, Asma, Rusinowitch, Michaël
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00381941Test ; [Research Report] RR-6939, INRIA. 2009, pp.20.
مصطلحات موضوعية: access control, optimistic replication, distributed collaborative editors, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
العلاقة: Report N°: RR-6939; inria-00381941; https://inria.hal.science/inria-00381941Test; https://inria.hal.science/inria-00381941v2/documentTest; https://inria.hal.science/inria-00381941v2/file/RR-6939.pdfTest
-
10تقرير
المؤلفون: Imine, Abdessamad, Cherif, Asma, Rusinowitch, Michaël
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00381941Test ; [Research Report] RR-6939, INRIA. 2009, pp.20.
مصطلحات موضوعية: access control, optimistic replication, distributed collaborative editors, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
العلاقة: Report N°: RR-6939; inria-00381941; https://inria.hal.science/inria-00381941Test; https://inria.hal.science/inria-00381941v2/documentTest; https://inria.hal.science/inria-00381941v2/file/RR-6939.pdfTest
