Results 111 to 120 of about 5,130 (285)
Some Remarks on the Logic of Gong, Needham and Yahalom
, 1994 We reveal instances of unsoundness, incompleteness, and redundancy in the cryptographic protocol analysis logic of Gong, Needham and Yahalom. Solutions are proposed for each of these problems.
Reihaneh Safavi-naini +2 more
core
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines how environmental regulations can drive technological change, drawing on the innovation systems perspective and the strong Porter hypothesis (SPH). The SPH suggests that well‐designed stringent regulations can foster innovation and enhance firm competitiveness, performance, and survival, yet prior research remains largely ...
Muhammad Zubair Khan +3 more
wiley +1 more source
Beyond anti-hegemonism to security regime : China's perspectives, institutions and engagement in the Comprehensive Test Ban Treaty [PDF]
This research analyzes China's socialization in the international Arms Control and Disarmament (ACD) field. Constructing the theoretical framework of "dynamic interaction between state and institution" in order to reconcile the "problem of agend and ...
Cha, Chang Hoon
core
Defining an approximation to formally verify cryptographic protocols [PDF]
, 2006 Electronic forms of communication are abundant in todays world, and much emphasis is placed on these methods of communication in every day life. In order to guarantee the secrecy and authenticity of information exchanged, it is vital to formally verify ...
Oehl, Frederic Enoha
core
Business Strategy and the Environment, EarlyView.ABSTRACT In a macroeconomic environment characterised by systemic disruptions and global uncertainty, companies are forced to reconfigure their sustainability strategies. This study examines the combined impact of geopolitical and climate risks on corporate commitment to and actual progress toward the United Nations (UN) Sustainable Development Goals ...
Isabel‐María García‐Sánchez
wiley +1 more source
Tracing the Trajectory: Exploring the Origins, Iterations, and Impacts of the Muslim Travel Ban
, 2022 The Muslim Travel Ban emerged as an explicitly discriminatory policy when former President Trump signed Executive Order 13769 on January 27, 2017. The first version of the Ban suspended the entry of travelers from seven majority-Muslim countries into the
Yousef, Dalia
core
Journal of Consumer Behaviour, EarlyView.ABSTRACT Political consumerism (PC) refers to consumers boycotting or deliberately buying (“buycotting”) products or brands for political, moral, or ethical reasons. This paper presents three studies that consider the intricacies of the relationship between political ideology and political consumerism.
Lara J. Greening +3 more
wiley +1 more source
Computer aided synthesis and optimisation of electronic logic circuits [PDF]
In this thesis, a variety of algorithms for synthesis and optimisation of combinational and sequential logic circuits are developed. These algorithms could be part of new commercial EGAD package for future VLSI digital designs.
Al-Jassani, Ban A.
core
A Survival Epidemiology Framework for Oral and Oropharyngeal Cancer
Cancer Nexus, EarlyView.ABSTRACT Oral and oropharyngeal cancer remains a major global public health burden, but the literature addressing this disease is still organized predominantly around who develops it rather than around what determines life after diagnosis. That imbalance is consequential because diagnosis initiates a new scientific problem.
Raphael E. Cuomo
wiley +1 more source
IoTThe Internet of Vehicles (IoV) is a rapidly evolving technology that provides real-time connectivity, enhanced road safety, and reduced traffic congestion; however, its inherently open communication channels expose it to serious security and privacy ...
Gelare Oudi Ghadim +8 more
doaj +1 more source