المؤلفون: Blanchet, Bruno, Boutry, Pierre, Doczkal, Christian, Grégoire, Benjamin, Strub, Pierre-Yves

المساهمون: Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Max Planck Institute for Security and Privacy Bochum (MPI SP), Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), PQShield, IEEE, ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

المصدر: CSF 2024 - 37th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-04321656 ; CSF 2024 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.283-298, ⟨10.1109/CSF61375.2024.00019⟩

مصطلحات موضوعية: Security protocols, Computational model, Mechanized proofs, Combining tools, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Enschede, Netherlands

الاتاحة: https://inria.hal.science/hal-04321656
https://inria.hal.science/hal-04321656v2/document
https://inria.hal.science/hal-04321656v2/file/main.pdf
https://doi.org/10.1109/CSF61375.2024.00019

المؤلفون: Blanchet, Bruno, Boutry, Pierre, Doczkal, Christian, Grégoire, Benjamin, Strub, Pierre-Yves

المساهمون: Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Max Planck Institute for Security and Privacy Bochum (MPI Security and Privacy), Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), PQShield, ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

المصدر: https://inria.hal.science/hal-04321656 ; 2023.

مصطلحات موضوعية: Security protocols, Computational model, Mechanized proofs, Combining tools, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: hal-04321656; https://inria.hal.science/hal-04321656; https://inria.hal.science/hal-04321656/document; https://inria.hal.science/hal-04321656/file/main.pdf

الاتاحة: https://inria.hal.science/hal-04321656
https://inria.hal.science/hal-04321656/document
https://inria.hal.science/hal-04321656/file/main.pdf

المؤلفون: Paweł Wilk

المصدر: Applied Sciences; Volume 12; Issue 8; Pages: 3848

مصطلحات موضوعية: sediment transport, sediment modeling, digital platform—DNS, SWAT model, combining tools

جغرافية الموضوع: agris

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

Relation: Earth Sciences and Geography; https://dx.doi.org/10.3390/app12083848

الاتاحة: https://doi.org/10.3390/app12083848

المؤلفون: Aleksandra Sas-Bojarska

المصدر: Urban Planning, Vol 6, Iss 3 (2021)

مصطلحات موضوعية: climate change, combining tools, environmental impacts, landscape protection, poland, urban development, City planning, HT165.5-169.9

وصف الملف: electronic resource

Relation: https://www.cogitatiopress.com/urbanplanning/article/view/4044; https://doaj.org/toc/2183-7635

URL الوصول: https://doaj.org/article/77caf727cb5b4de197233822148618a9

المؤلفون: Fisher, Greg, author, Wisneski, John E., author, Bakker, Rene M., author

المصدر: Strategy in 3D : Essential Tools to Diagnose, Decide, and Deliver, 2020.

الاتاحة: https://doi.org/10.1093/oso/9780190081478.003.0021

المؤلفون: Sas-Bojarska, Aleksandra

المصدر: Urban Planning; Vol 6, No 3 (2021): Smart Urban Governance for Climate Change Adaptation; 295-305 ; 2183-7635

مصطلحات موضوعية: climate change, combining tools, environmental impacts, landscape protection, Poland, urban development, envir, archi

Relation: https://www.cogitatiopress.com/urbanplanning/article/view/4044

الاتاحة: https://www.cogitatiopress.com/urbanplanning/article/view/4044