John Mullins

الانتماء : Polytechnique Montréal

7منشورات (انتماء كندي)
115مجموع المنشورات
592الاستشهادات
14مؤشر h

الملف البحثي

لدى John Mullins 7 منشور(ات) مفهرسة (2004–2021). تُنشر أعماله أساسًا في «Journal of Information Security and Applications»، «International Journal of Foundations of Computer Science» و«arXiv (Cornell University)». أكثر مقالاته استشهادًا هو «On the Verification of Intransitive Noninterference in Mulitlevel Security» (2005)، وقد استُشهد به 62 مرة. 2 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 3 باحثًا على الأقل، منهم باحثون من مؤسسات في تونس.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Formal Methods in Verification
Logic, programming, and type systems
Petri Nets in System Modeling
Security and Verification in Computing
Advanced Authentication Protocols Security

المنشورات (7)

Bounded opacity for timed systems
2021 · Journal of Information Security and Applications · استُشهد به 26 مرة
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
2021 · International Journal of Foundations of Computer Science · استُشهد به 1 مرة
Opacity with Orwellian Observers and Intransitive Non-interference
2013 · arXiv (Cornell University) · استُشهد به 3 مرة
On the Verification of Intransitive Noninterference in Mulitlevel Security
2005 · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · استُشهد به 62 مرة
Characterizing intransitive noninterference for 3-domain security policies with observability
2005 · IEEE Transactions on Automatic Control · استُشهد به 25 مرة
An algorithmic approach to verification of intransitive non-interference in security policies
2004 · IEEE Conference on Decision and Control (CDC) · استُشهد به 3 مرة
Discrete event systems approach to the verification of the information flow properties in secure protocols
2004 · IFAC Proceedings Volumes

مجلات النشر

Journal of Information Security and Applications × 1
International Journal of Foundations of Computer Science × 1
arXiv (Cornell University) × 1
IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) × 1
IEEE Transactions on Automatic Control × 1
IEEE Conference on Decision and Control (CDC) × 1

المنشورات حسب السنة

20212
20131
20052
20042

التعاون العلمي

المؤسسات الشريكة : University of Carthage · Université de Montréal

بلدان المؤلفين المشاركين : تونس

المؤلفون المشاركون

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).