تصفح حسب المؤلف "Khan, Khaled M."
السجلات المعروضة 1 -- 5 من 5
-
Enabling Efficient Secure Multiparty Computation Development in ANSI C
( Hamad bin Khalifa University Press (HBKU Press) , 2018 , Conference Paper)Secure Multi-Party Computation (SMPC) enables parties to compute a pub- lic function over private inputs. A classical example is the millionaires problem, where two millionaires want to figure out who is wealthier without ... -
Modeling security importance and preferences of software services
( IEEE , 2012 , Conference Paper)This paper proposes a modeling framework on how to specify security preferences and importance of software services, and compute a quantifiable value. Our approach advocates for an automatic calculation of the results of ... -
Reasoning about security policies of services using answer set programming
( Institute of Electrical and Electronics Engineers Inc. , 2014 , Conference Paper)In this paper, we propose a formal framework for checking the consistency of security policies of services using Answer Set Programming (ASP). We illustrate that the formalisation of security policies of the service providers ... -
Semantics-based approach for dynamic evolution of trust negotiation protocols in cloud collaboration
( Springer Verlag , 2014 , Conference Paper)Many techniques for addressing trust negotiation issues is little concerned with managing the dynamic evolution of trust negotiation protocols (policies), particularly in cases where there exist ongoing negotiations when ... -
Wireless Networks
( John Wiley & Sons, Inc. , 2007 , Book chapter)Wireless communication is the fastest-growing field in the telecommunication industry. Wireless networks have grown significantly as an important segment of the communications industry. They have become popular networks ...
