38 research outputs found
DevOps for Trustworthy Smart IoT Systems
ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats
Divine Cohabitations in Sanctuaires of the Graeco-Roman World
MenciĂłn Internacional en el tĂtulo de doctorThis thesis has been funded with a four-year doctoral contract (2016-2019) granted by
the Ministry of Economy, Industry and Competitiveness of the Spanish government within
the framework of the research project HAR2014-52531-P: Oriental Religions in Spain (2015-
2018), directed by Jaime Alvar Ezquerra, Professor of Ancient History at the University Carlos
III of Madrid, and financed by such ministry.Programa de Doctorado en Humanidades por la Universidad Carlos III de MadridPresidente: Corinne Bonnet.- Secretario: Juan Manuel Cortés Copete.- Vocal: Françoise Van Haepere
Continuous Deployment of Trustworthy Smart IoT Systems.
While the next generation of IoT systems need to perform distributed processing and coordinated behaviour across IoT, Edge and Cloud infrastructures, their development and operation are still challenging. A major challenge is the high heterogeneity of their infrastructure, which broadens the surface for security attacks and increases the complexity of maintaining and evolving such complex systems. In this paper, we present our approach for Generation and Deployment of Smart IoT Systems (GeneSIS) to tame this complexity. GeneSIS leverages model-driven engineering to support the DevSecOps of Smart IoT Systems (SIS). More precisely, GeneSIS includes: (i) a domain specific modelling language to specify the deployment of SIS over IoT, Edge and Cloud infrastructure with the necessary concepts for security and privacy; and (ii) a [email protected] engine to enact the orchestration, deployment, and adaptation of these SIS. The results from our smart building case study have shown that GeneSIS can support security by design from the development (via deployment) to the operation of IoT systems and back again in a DevSecOps loop. In other words, GeneSIS enables IoT systems to keep up security and adapt to evolving conditions and threats while maintaining their trustworthiness.The research leading to these results has received funding from the European Commission’s H2020 Programme under grant agreement numbers 780351 (ENACT)
The Manichaeans of Kellis : religion, community, and everyday life
The Manichaeans of Kellis: Religion, Community, and
Everyday Life is the first monograph examining daily life of a Manichaean
community in the Roman Empire. It shows where and when a Manichaean
affiliation mattered for ancient individuals and families, how it affected
their personal letters, as well as their day-to-day interactions in a
fourth-century village. The papyrological and archaeological evidence from
the village of Kellis (modern Ismant el-Kharab) presents a unique perspective
on this late antique religion that is otherwise mostly known for its
theological and cosmological system. The specific setting of these finds, in
particular having liturgical texts and personal letters from the same houses,
offers many opportunities to reconstruct family networks, village
interactions, as well as some of the underlying religious structures and
practices. By pursuing a bottom-up approach, this study brings Manichaeism to
life as a religion for ordinary people. It also engages with the larger
theoretical debates concerning the role and position of “lived religion” in
the academic Study of Religion, as well as current perspectives on the
fundamental transformation of religion in Late Antiquity.
Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO)Religious Studie
Estrategias para mejorar la aceptación de los servicios de gobierno electrónico en los ciudadanos - mapeo sistemático
El gobierno electrĂłnico generalmente se refiere a la aplicaciĂłn de un modelo de comercio electrĂłnico a nivel gubernamental de un paĂs, y su Ă©xito se mide a menudo en tĂ©rminos de satisfacciĂłn del usuario y calidad del servicio. El presente estudio tiene como objetivo analizar el Ă©xito en tĂ©rminos de estrategias de diseño de software para el desarrollo de servicios de gobierno electrĂłnico, asĂ como la implementaciĂłn y utilizaciĂłn de herramientas de evaluaciĂłn empleadas, la calidad del servicio y las tecnologĂas utilizadas, mediante una mapeo sistemático de la literatura. Este estudio evidencia que se están realizando importantes investigaciones sobre servicios de gobierno electrĂłnico en paĂses del continente de Europa, parte del Sudeste asiático y OceanĂa, entre las que destacan: China, Malasia e Indonesia, asimismo en AmĂ©rica en los paĂses de Canadá, EEUU, Brasil y Ecuador.Trabajo de investigaciĂł
Security policy monitoring of BPMN-based service compositions
Service composition is a key concept of Service- Oriented Architecture that allows for combining loosely coupled services that are offered and operated by different service providers. Such environments are expected to dynamically respond to changes that may occur at runtime, including changes in the environment and individual services themselves. Therefore, it is crucial to monitor these loosely-coupled services throughout their lifetime. In this paper, we present a novel framework for monitoring services at runtime and ensuring that services behave as they have promised. In particular, we focus on monitoring non-functional properties that are specified within an agreed security contract. The novelty of our work is based on the way in which monitoring information can be combined from multiple dynamic services to automate the monitoring of business processes and proactively report compliance violations. The framework enables monitoring of both atomic and composite services and provides a user friendly interface for specifying the monitoring policy. We provide an information service case study using a real composite service to demonstrate how we achieve compliance monitoring. The transformation of security policy into monitoring rules, which is done automatically, makes our framework more flexible and accurate than existing techniques
Modelling, validating, and ranking of secure service compositions
This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recordIn the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level
Proceedings of the 23rd International Congress of Byzantine Studies : Thematic Sessions of Free Communications
This volume contains the abstracts of the free communications sessions from the 23rd
International Congress of Byzantine Studies, taking the form of one hundred and seventeen thematic sessions and twenty poster presentations. The success of forty three sessions should be attributed above all to the conveners who designed and realised them in cooperation with other participants, and then presided over them at the Congress. This type of sessions was the organisers’ response to the challenge posed by a large number of high-quality proposals for round table discussion. Since it was not possible to implement all the received proposals into the round table sessions, the proposers were encouraged to present their ideas as Thematic Sessions of Free Communications.
The remaining seventy-four sessions were selected by the organizer out of approximately
six hundred abstracts submitted. Stanoje Bojanin (The Institute for Byzantine Studies) created
the initial classification of abstracts according to thematic compatibility, and the final form of the
sessions was determined by Vujadin Ivanišević (The Institute of Archeology), Srđan Pirivratić,
Dejan Dželebdžić, Ljubomir Milanović and Miloš Živković (The Institute for Byzantine Studies).
Tamara Matović and Miloš Cvetković (The Institute for Byzantine Studies), prepared the abstracts
for the Congress website, and then for this publication. Bojana Pavlović (The Institute for Byzantine Studies) made a significant contribution to organizing the sessions by taking on the bulk of the correspondence with the participants.
In principle, all the abstracts in this book are published in the form they were submitted to
the organizer, but certain minor, sometimes unavoidable alterations were made to the headings.
The index of the participant’s names, which is customary and necessary in printed publications, has been omitted from this searchable electronic book.
We believe that the main purpose of this book is to present in one place the wide range of
topics featured at the Congress, which accurately reflects contemporary trends in Byzantine Studies. We present this book to the public in the hope that the larger part of the communications read at the Congress will find their way into published research papers
The Public Sacred Identity of Roman Ascalon
Memory, a shared sense of the past, and public institutions were three important cultural processes that articulated and perpetuated the collective identity of ancient communities. Civic and cultural institutions in the Roman Empire, particularly those related to civic cults and mythology, often provided the context for the articulation of collective identities within a community, and a negotiation of the community’s identity in a larger regional and imperial context. Ascalon, the best documented city on the southern coast, is an ideal case study for an exploration of the role of memory, mythology, cults, and images of the gods in local discourses surrounding collective identity. I explore how Ascalon’s past as a Canaanite, Philistine, Phoenician, and independent Hellenistic polis influenced the community’s cults, mythology, and the deployment of its deities in public media. I frame a discussion of the late Hellenistic and Roman period cults within their historical contexts, pointing toward the continued association of Ascalon with the Philistines and Phoenicians as a key element influencing the city’s later identity. I provide an overview of the evidence for civic cult at Ascalon, and establish key trends in their presentation that I explore more fully in case studies. In the first case study I discuss how the cult of Astarte Aphrodite Ourania was used to express changing notions about the identity of the city and its connections to the Hellenistic and Greek world. Next, I provide and stories concerning Ascalon, arguing that the Lydian heroes Mopsos and Ascalus, and the local goddess Derceto, reflected the local cultural memory of ancient migrations and connections between the Greek world and the coast of Palestine. I conclude that the ways that the community remembered its past and expressed its public sacred identity were similar to the methods employed by other cities in the Roman Empire. I argue that images of gods and references to local cults were used deliberately in certain significant moments to emphasize the community’s connections to the Mediterranean world, or to emphasize Ascalon’s importance and antiquity within the region.Doctor of Philosoph