63 research outputs found
CORPORATE SOCIAL RESPONSIBILITY IN ROMANIA
The purpose of this paper is to identify the main opportunities and limitations of corporate social responsibility (CSR). The survey was defined with the aim to involve the highest possible number of relevant CSR topics and give the issue a more wholesome perspective. It provides a basis for further comprehension and deeper analyses of specific CSR areas. The conditions determining the success of CSR in Romania have been defined in the paper on the basis of the previously cumulative knowledge as well as the results of various researches. This paper provides knowledge which may be useful in the programs promoting CSR.Corporate social responsibility, Supportive policies, Romania
Digitalisation For Sustainable Infrastructure: The Road Ahead
In today’s tumultuous and fast-changing times, digitalisation and technology are game changers in a wide range of sectors and have a tremendous impact on infrastructure. Roads, railways, electricity grids, aviation, and maritime transport are deeply affected by the digital and technological transition, with gains in terms of competitiveness, cost-reduction, and safety. Digitalisation is also a key tool for fostering global commitment towards sustainability, but the race for digital infrastructure is also a geopolitical one. As the world’s largest economies are starting to adopt competitive strategies, a level playing field appears far from being agreed upon.
Why are digitalisation and technology the core domains of global geopolitical competition? How are they changing the way infrastructure is built, operated, and maintained? To what extent will road, rail, air, and maritime transport change by virtue of digitalisation, artificial intelligence, and the Internet of Things? How to enhance cyber protection for critical infrastructure? What are the EU’s, US’ and China’s digital strategies?Publishe
Modelling a multichannel security protocol to address Man in the Middle attacks
Unlike wired networks, wireless networks cannot be physically protected, mak
ing them greatly at risk. This study looks into advanced ways of implementing
security techniques in wireless networks. It proposes using model checking and the
orem proving to prove and validate a security protocol of data transmission over
multi-channel in Wireless Local Area Networks (WLANs) between two sources.
This can help to reduce the risk of wireless networks being vulnerable to Man
in the Middle (MitM) attacks. We model secure transmission over a two-host
two-channel wireless network and consider the transmission in the presence of a
MitM attack. The main goal of adding an extra channel to the main channel is
to provide security by stopping MitM from getting any readable data once one of
these channels has been attacked.
We analyse the model for vulnerabilities and specify assertions for secure data
transmission over a multi-channel WLAN. Our approach uses the model analyser
Alloy which uses a Satisfiability (SAT) solver to find a model of a Boolean formula.
Alloy characterizations of security models are written to analyse and verify that the
implementation of a system is correct and achieves security relative to assertions
about the model of our security protocol. Further, we use the Z3 theorem prover
to check satisfiability using the Satisfiability Modulo Theories (SMT) solver to
generate results. Using Z3 does not involve high costs and can help with providing
reliable results that are accurate and practical for complex designs.
We conclude that, based on the results we achieved from analysing our pro
tocol using Alloy and Z3 SMT solver, the solvers complement each other in their
strengths and weaknesses. The common weakness is that neither can tell us why
the model is inconsistent, if it is inconsistent. We suggest that an approach of be
ginning with modelling a problem using Alloy and then turning to prove it using
Z3, increases overall confidence in a model
Assessment of Agricultural Information Needs in African, Caribbean and Pacific (ACP) States: Eastern Africa: Country study Mauritius
This study aims to provide an overview of main agricultural services and actors in terms of their strengths, weaknesses and opportunities for collaboration with CTA; to identify the agricultural information and ICM capacity building needs of key strategic partners for CTA products and services; and to have an update of the status of ICM and ICTs in Mauritius
Annual report for the town of Bristol, New Hampshire fiscal year ending December 31, 2007.
This is an annual report containing vital statistics for a town/city in the state of New Hampshire
- …