نتایج جستجو برای: formal verification

تعداد نتایج: 187295  

Journal: :Communications of the ACM 2009

Journal: :Journal of Applied Mathematics 2013

Journal: :The KIPS Transactions:PartD 2005

Journal: :Business Systems Research Journal 2014

Journal: :Human Factors: The Journal of the Human Factors and Ergonomics Society 2002

Journal: :International Journal of Computer Network and Information Security 2010

Journal: :Science of Computer Programming 2017

Journal: :New Generation Computing 2021

Abstract Card-based cryptography provides simple and practicable protocols for performing secure multi-party computation with just a deck of cards. For the sake simplicity, this is often done using cards only two symbols, e.g., $$\clubsuit $$ ♣ $$\heartsuit ♡ . Within paper, we also target se...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید