Results 91 to 100 of about 5,130 (285)
BAN Logic is Not ‘Sound’, Constructing Epistemic Logics for Security is Difficult
, 2008 . We show that BAN logic, an epistemic logic for analyzing security protocols, contains an inference rule that wrongly ascribes a certain property to cryptographic hash functions. This faulty inference rule makes the BAN logic not ‘sound’. That is, it is
Wouter Teepe
core
Business Strategy and the Environment, EarlyView.ABSTRACT Small and medium enterprises (SMEs) dominate the global business landscape, making their sustainability efforts crucial. Yet little is known about how institutional contexts shape these practices. Using Institutional Theory, we compare the influence of cluster membership (CM), global value chain (GVC) membership, and the organizational ...
Barbara Caemmerer +2 more
wiley +1 more source
Adding Time to a Logic of Authentication
, 1993 : In [BAN89] Burrows, Abadi, and Needham presented a logic (BAN) for analyzing cryptographic protocols in terms of belief. This logic is quite useful in uncovering flaws in protocols; however, it also has produced confusion and controversy.
Paul F. Syverson
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Widespread digital adoption has challenged our understanding of how these tools reshape collaboration, trust and sustainability outcomes across different institutional and network contexts. As networks now pursue resilience and sustainable development in parallel, we map emerging research directions and identify how collaboration and ...
Ari Carisza Graha Prasetia +1 more
wiley +1 more source
The incorporation of information and communication technologies in the power grids has greatly enhanced efficiency in the management of demand-responses.
Zaid Ameen Abduljabbar (17729630) +6 more
core +1 more source
A Critical Analysis of Microsoft's Rhetoric and Reality of Sustainability Engagement
Business Strategy and the Environment, EarlyView.ABSTRACT This study critically examines Microsoft's environmental, social and governance (ESG) rhetoric and operational reality, to offer insights that extend beyond conventional greenwashing or bluewashing. Drawing on over 20 years of Microsoft's sustainability reports (2003–2024), third‐party ESG evaluations and media investigations, it employs ...
Omaima A. G. Hassan, Iqbal Khadaroo
wiley +1 more source
The incorporation of information and communication technologies in the power grids has greatly enhanced efficiency in the management of demand-responses.
Zaid Ameen Abduljabbar (17729630) +6 more
core +1 more source
Fueling Tomorrow: Scenario Planning for the Future of Gas Stations
Business Strategy and the Environment, EarlyView.ABSTRACT Transport electrification is reshaping the service infrastructures that mediate everyday mobility, yet most electrification scenario studies remain macrolevel and offer limited insight into how incumbent forecourt (gas‐station) networks can adapt under deep uncertainty.
Joao Gabriel Rosa +2 more
wiley +1 more source
AUTHENTICATION OF CRNS BY USING BAN LOGIC [PDF]
Azerbaijan Journal of High Performance Computing, 2019 Israa N. Alsalhi, Salah A. Albermany
openaire +1 more source
SIMULASI PLC OMRON DENGAN PERSONAL KOMPUTER UNTUK APLIKASI MESIN CETAK BAN LUAR BAN MOBIL UKURAN 6.5 – 14/10” [PDF]
, 2011 Penanganan suatu proses produksi secara konvensional dengan melibatkan jumlah tenaga kerja yang banyak dan pengendalian mesin yang membutuhkan banyak operator sangat merugikan perusahaan PT Mega Safe Tyre Industry Semarang yang memproduksi ban mobil ...
Warsito , Agung +2 more
core