يعرض 1 - 10 نتائج من 161 نتيجة بحث عن '"security proofs"', وقت الاستعلام: 1.19s تنقيح النتائج
  1. 1
    دورية أكاديمية

    المؤلفون: Hasan, M., Chang, D.

    المصدر: IEEE Internet of Things Journal IEEE Internet Things J. Internet of Things Journal, IEEE. 11(8):14357-14369 Apr, 2024

  2. 2
    دورية أكاديمية

    المؤلفون: Deng, L., Chen, Z., Ruan, Y., Zhou, H., Li, S.

    المصدر: IEEE Systems Journal Systems Journal, IEEE. 17(3):4245-4256 Sep, 2023

  3. 3
    مؤتمر

    المصدر: 2019 IEEE European Symposium on Security and Privacy (EuroS&P) Security and Privacy (EuroS&P), 2019 IEEE European Symposium on. :606-620 Jun, 2019

    Relation: 2019 IEEE European Symposium on Security and Privacy (EuroS&P)

  4. 4
    مؤتمر

    المصدر: 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :119-131 Jul, 2018

    Relation: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

  5. 5
  6. 6
    دورية أكاديمية

    المؤلفون: Barthe, Gilles

    المصدر: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 13(5):86-89 Jan, 2015

  7. 7
    كتاب إلكتروني

    المؤلفون: Chaieb, MarwaAff9, Yousfi, SouheibAff10

    المساهمون: van der Aalst, Wil, Series EditorAff1, Mylopoulos, John, Series EditorAff2, Rosemann, Michael, Series EditorAff3, Shaw, Michael J., Series EditorAff4, Szyperski, Clemens, Series EditorAff5, Themistocleous, Marinos, editorAff6, Papadaki, Maria, editorAff7, Kamal, Muhammad Mustafa, editorAff8

    المصدر: Information Systems : 17th European, Mediterranean, and Middle Eastern Conference, EMCIS 2020, Dubai, United Arab Emirates, November 25–26, 2020, Proceedings. 402:151-168

  8. 8
    دورية أكاديمية

    المؤلفون: Knight, John

    المصدر: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 13(4):73-75 Aug, 2015

  9. 9
    دورية أكاديمية

    المؤلفون: Steel, Graham

    المصدر: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 13(2):81-83 Jan, 2015

  10. 10
    كتاب إلكتروني

    المؤلفون: Haiyan, XiaoAff18, Aff19, Lifang, WangAff18

    المساهمون: Kacprzyk, Janusz, Series EditorAff1, Pal, Nikhil R., Advisory EditorAff2, Bello Perez, Rafael, Advisory EditorAff3, Corchado, Emilio S., Advisory EditorAff4, Hagras, Hani, Advisory EditorAff5, Kóczy, László T., Advisory EditorAff6, Kreinovich, Vladik, Advisory EditorAff7, Lin, Chin-Teng, Advisory EditorAff8, Lu, Jie, Advisory EditorAff9, Melin, Patricia, Advisory EditorAff10, Nedjah, Nadia, Advisory EditorAff11, Nguyen, Ngoc Thanh, Advisory EditorAff12, Wang, Jun, Advisory EditorAff13, Barolli, Leonard, editorAff14, Javaid, Nadeem, editorAff15, Ikeda, Makoto, editorAff16, Takizawa, Makoto, editorAff17

    المصدر: Complex, Intelligent, and Software Intensive Systems : Proceedings of the 12th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2018). 772:770-779