Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that greatly complicate or even prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev-Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure (...) channel (e.g. a confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as of complex security properties that are normally not handled by state-of-the-art security protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange and some of its key security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol. (shrink)

Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for (...) the analysis of security protocols. We look for formal conditions under which knowledge modalities can bring extra expressive power to pure temporal languages. On the other hand, we discuss the cost of the epistemic operators in terms of model checking complexity. (shrink)

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.

Our lives are increasingly intertwined with the digital realm, and with new technology, new ethical problems emerge. The academic field that addresses these problems—which we tentatively call ‘digital ethics’—can be an important intellectual resource for policy making and regulation. This is why it is important to understand how the new ethical challenges of a digital society are being met by academic research. We have undertaken a scientometric analysis to arrive at a better understanding of the nature, scope and dynamics of (...) the field of digital ethics. Our approach in this paper shows how the field of digital ethics is distributed over various academic disciplines. By first having experts select a collection of keywords central to digital ethics, we have generated a dataset of articles discussing these issues. This approach allows us to generate a scientometric visualisation of the field of digital ethics, without being constrained by any preconceived definitions of academic disciplines. We have first of all found that the number of publications pertaining to digital ethics is exponentially increasing. We furthermore established that whereas one may expect digital ethics to be a species of ethics, we in fact found that the various questions pertaining to digital ethics are predominantly being discussed in computer science, law and biomedical science. It is in these fields, more than in the independent field of ethics, that ethical discourse is being developed around concrete and often technical issues. Moreover, it appears that some important ethical values are very prominent in one field (e.g., autonomy in medical science), while being almost absent in others. We conclude that to get a thorough understanding of, and grip on, all the hard ethical questions of a digital society, ethicists, policy makers and legal scholars will need to familiarize themselves with the concrete and practical work that is being done across a range of different scientific fields to deal with these questions. (shrink)

In previous work, we introduced a version of distributed temporal logic that is well-suited both for verifying security protocols and as a metalogic for reasoning about, and relating, different security protocol models. In this paper, we formally investigate the relationship between our approach and strand spaces, which is one of the most successful and widespread formalisms for analyzing security protocols. We define translations between models in our logic and strand-space models of security protocols, (...) and we compare the results obtained with respect to the level of abstraction that is inherent in each of the formalisms. This allows us to clarify different aspects of strand spaces that are often left implicit, as well as pave the way to transfer results, techniques and tools across the two approaches. (shrink)

The Groningen Protocol, introduced in the Netherlands in 2005 and accompanied by revised guidelines published in a report commissioned by the Royal Dutch Medical Association in 2014, specifies conditions under which the lives of severely ill newborns may be deliberately ended. Its publication came four years after the Netherlands became the first nation to legalize the voluntary active euthanasia of adults, and the Netherlands remains the only country to offer a pathway to protecting physicians who might engage in deliberately ending (...) the life of a newborn. In this paper, I offer two lines of argument. The first is a positive argument for the Protocol, grounded in the good of the newborn as unanimously determined by those in a position to determine it. The second addresses the widely shared belief that the killing of newborns is morally prohibited, where I offer two arguments—one grounded in the fact that the kinds of cases the Protocol is meant to govern are very rare and highly unusual, and the other focused more broadly on the role of pre-theoretical beliefs in moral reasoning—meant to undermine the strong role that the critic of the Protocol affords this belief. I argue that, given this second line of argument, the beliefs underlying my positive argument for the Protocol are in fact more secure than the widely shared belief underlying the critic’s position. (shrink)

Over the past decades, both wild and domesticated insect pollinators are in dramatic decline, which puts at stake the existence of species, ecosystem resilience and global food security. Globally, 87 of major food crops depend on animal pollination. Together these account for 35 % of the world food production volume. Pollinator mediated crops are indispensable for essential micronutrients in the human diet. Many ornamental plants as well as crops for fibre, fodder, biofuels, timber and phytopharmaceuticals also depend on insect (...) pollinators. This article aims to map the current situation of pollinators worldwide, with a focus on the critical role of pollinators in the human food chain and ecosystem sustainability, their intrinsic and extrinsic value, as well as the causes of their declines and the interventions needed to conserve them, in order to develop an argument for the importance of conserving and restoring pollinator populations and diversity. The present pollinator crisis threatens global and local food security, can worsen the problems of hidden hunger, erodes ecosystem resilience, and can destabilise ecosystems that form our life support system. An integrated approach that simultaneously addresses the key drivers is needed. This includes creation and restoration of floral and nesting resources, a global phase out of prophylactic use of neonicotinoids and fipronil, improvement of test protocols in authorisation of agrochemicals, and restoration and maintenance of independence in regulatory science. The authors argue that an international treaty for global pollinator stewardship and pollinator ecosystem restoration should be initiated in order to systemically counteract the current crisis. (shrink)

Contemporary security has expanded its meaning, content and structure in response to globalization and the emergence of greatly improved world-wide communication. This book addresses how and why the nature of security has changed and what this means for the security actors involved and the wider society. The expert contributors reflect upon new communication methods, post-modern concepts of warfare, technological determinants and cultural preferences to provide new theoretical and analytical insights into a changing security environment and the (...) protocols of war in the 21st century."--Provided by publisher. (shrink)

The usage of new and progressive technologies brings with it new types of security threats and security incidents. Their number is constantly growing.The current trend is to move from reactive to proactive activities. For this reason, the organization should be aware of the current security situation, including the forecasting of the future state. The main goal of organizations, especially their security operation centres, is to handle events, identify potential security incidents, and effectively forecast the network (...) security situation awareness (NSSA). In this paper, we focus on increasing the efficiency of utilization of this part of cybersecurity. The paper’s main aim is to compare selected statistical models and models based on neural networks to find out which models are more suitable for NSSA forecasting. Based on the analysis provided in this paper, neural network methods prove a more accurate alternative than classical statistical prediction models in NSSA forecasting. In addition, the paper analyses the selection criteria and suitability of time series, which do not only reflect information about the total number of security events but represent a category of security event (e.g. recon scanning), port or protocol. (shrink)

This work presents a system to detect small boats to help tackle the problem of this type of perilous immigration. The proposal makes extensive use of emerging technologies like Unmanned Aerial Vehicles combined with a top-performing algorithm from the field of artificial intelligence known as Deep Learning through Convolutional Neural Networks. The use of this algorithm improves current detection systems based on image processing through the application of filters thanks to the fact that the network learns to distinguish the aforementioned (...) objects through patterns without depending on where they are located. The main result of the proposal has been a classifier that works in real time, allowing the detection of pateras and people, kilometres away from the coast. This could be very useful for Search and Rescue teams in order to plan a rescue before an emergency occurs. Given the high sensitivity of the managed information, the proposed system includes cryptographic protocols to protect the security of communications. (shrink)

Along with technical issues, biobanking frequently raises important privacy and security issues that must be resolved as biobanks continue to grow in scale and scope. Consent mechanisms currently in use range from fine-grained to very broad, and in some cases participants are offered very few privacy protections. However, developments in information technology are bringing improvements. New programs and systems are being developed to allow researchers to conduct analyses without distributing the data itself offsite, either by allowing the investigator to (...) communicate with a central computer, or by having each site participate in meta-analysis that results in a shared statistic or final significance result. The implementation of security protocols into the research biobanking setting requires three key elements: authentication, authorization, and auditing. Authentication is the process of making sure individuals are who they claim to be, frequently through the use of a password, a key fob, or a physical scan. Authorization involves ensuring that every individual who attempts an action has permission to do that action. Finally, auditing allows for actions to be logged so that inappropriate or unethical actions can later be traced back to their source. (shrink)

Public communication is secure if a hostile third-party cannot decode the messages exchanged by the communicating parties. In Nash equilibrium, communication by computationally unbounded players cannot be secure. We assume complexity averse players, and show that a simple, secure, and costless communication protocol becomes available as the marginal complexity cost tends to zero.

Blockchain technology applied to cryptocurrencies is the dominant factor in maintaining the security of cryptocurrencies. This article reviews the technological implementation of cryptocurrency and the security and stability of cryptocurrency and analyzes the security support from blockchain technology and its platforms based on empirical case studies. Our results show that the security support from blockchain technology platforms is significantly insufficient and immature. In addition, we further Zyskind and Nathan and Choi and find that the top ten (...) platforms play critical roles in security support and have significant advantages in terms of funds, duration, and human resources. Moreover, these platforms provide computational resources and benefits to the consensus algorithm selection for blockchain practitioners. Second, encryption ensures the security of cryptocurrencies. On the one hand, the digital signatures identify the identity of the signatory and the transaction. However, the principle of the hash algorithm confirms ownership. Meanwhile, SHA256 is infeasible to compute in the reverse direction and is difficult to attack. Furthermore, the records in the blockchain can be queried by every participant, making the system information transparent and open reliable. Third, compared to the study of Fu and Fang 2016, we find that the blockchain structure is composed of security components and basic components of six layers that are independent and cannot be extended completely and have a certain coupling among them. Fourth, the underlying ledger structures of Bitcoin and DAG are highly correlated to their security. Specifically, we follow Sompolinsky et al. and detect that the structure of SPECTRE ensures network security and robustness from its block production, conflict resolution, and generated trusted transaction sets. Meanwhile, the voting algorithm of SPECTRE makes resolving conflicting transactions by calculating votes and ensuring the transaction information that is virtually unable to be tampered with possible. In particular, the security calculation power of SPECTRE can reach 51% and resist “double-spend attacks” and “censorship attacks” effectively. In addition, the RDL framework of SPECTRE achieves security confirmation of transferring funds. Moreover, PHANTOM identifies evil blocks by employing block connectivity analysis and ensures its security. Eventually, we also expand the studies of and compare the basic characteristics of the protocols of Bitcoin, SPECTRE, and PHANTOM and find that protocols play imperative roles throughout the implementation process of cryptocurrency. In addition, the underlying ledger structure and consensus mechanism make up a blockchain while the confirmation time, throughput limit, and ordering are prerequisites for smart contracts. (shrink)

This paper examines the UN 2000 Trafficking Protocol in the context of international responses to the issue of people trafficking. Attention is drawn to the conceptual flaws in this new instrument regarding the failure to address domestic trafficking, not incorporating the purchasing and selling of people as defining characteristics of trafficking, and the lack of clarity around issues of prostitution. Framing the discussion within feminist theory, the essay concludes that women’s campaigning will continue to be crucial to putting issues such (...) as human trafficking on the international political agenda. This is extended to affirm that people’s struggle against oppressive circumstances will lead the tackling of the underlying causes of trafficking. (shrink)

The paper presents a novel method for the verification of security protocols’ time properties. The new method uses a translation to satisfiability modulo theories problem. In our approach, we model protocol users’ behaviours using networks of synchronized timed automata. Suitably specified correctness properties are defined as a reachability property of some chosen states in an automata network. Then, the network of timed automata and the property are translated to an SMT problem and checked using an SMT-solver and a (...) BMC algorithm. We consider the most important time properties of protocol executions using specially constructed time conditions. The new method was also implemented and experimentally evaluated for six well-known SPs. We also compared our new SMT-based technique with the corresponding SAT-based approach. (shrink)

The desire to formulate a viable treaty framework for women’s rights that will meet the challenges of the sociocultural peculiarities in Africa led to the emergence of the original draft Protocol to the African Charter on Human and People's Rights on the Rights of Women in the twilight years of the Organization of African Unity (OAU). Without doubt, the recent adoption of the African Women’s Protocol by the Assembly of African Heads of State and Government in July 2003 is a (...) welcome development coming at a most opportune time. However, if the African Women’s Protocol is to serve its purposes in an effective way, it is absolutely necessary to articulate the normative and structural modalities that would secure the achievement of its stated ends. It is therefore in the quest for defining the strategic parameters of this new-fangled instrument that I analyze the normative promises as well as notable structural and conceptual limitations inherent in the African Women's Protocol with a view to identifying trajectories for its sustained relevance and viability. I address these concerns against the backdrop of the instrument’s provisions. (shrink)

This paper aims to enhance security in IoT device networks through a visual tool that utilizes three projection techniques, including Beta Hebbian Learning (BHL), t-distributed Stochastic Neighbor Embedding (t-SNE) and ISOMAP, in order to facilitate the identification of network attacks by human experts. This work research begins with the creation of a testing environment with IoT devices and web clients, simulating attacks over Message Queuing Telemetry Transport (MQTT) for recording all relevant traffic information. The unsupervised algorithms chosen provide a (...) set of projections that enable human experts to visually identify most attacks in real-time, making it a powerful tool that can be implemented in IoT environments easily. (shrink)

This study explored the lived experience of security and contentment, and their absence, for latency-aged children living in shared-time parenting arrangements following their parents’ separation. A descriptive phenomenological methodology was utilized. Sixteen children living in shared-time were interviewed about their experiences of two phenomena: “feeling secure and content living in shared-time” and “not feeling secure and content living in shared-time.” The eight richest protocols were selected for analysis. The two resultant general structures and their core constituents are presented, (...) and individual variations discussed. Central to each phenomenon is the parent/s’ capacity, or incapacity, to create and sustain a physical and emotional space in which the child feels secure and held in the mind, feels the arrangements are responsive to their needs, feels free to access the “absent” parent, and experiences integration between the two parental homes. Implications for phenomenological human science research are considered, including the use of descriptive phenomenology with children. (shrink)

In unconditionally secure protocols, a sender and receiver are able to communicate their secrets to each other without the eavesdropper(s) being able to learn the secret, even when the eavesdropper intercepts the entire communication. We investigate such protocols for the special case of deals of cards over players, where two players aim to communicate to each other their hand of cards without the remaining player(s) learning a single card from either hand. In this contribution we show that a (...) particular protocol of length strictly larger than two (i.e., consisting of more than just one announcement by one player, and one other announcement by the other player) is after all not acceptable, and therefore does not constitute a new solution. The demonstration requires a detailed case-based analysis. The result may bring a general approach to arbitrary finite-length protocols closer. (shrink)

The impact of Online Social Networks on human lives is foreseen to be very large with unprecedented amount of data and users. OSN users share their ideas, photos, daily life events, feelings and news. Since OSNs’ security and privacy challenges are more potential than ever before, it is necessary to enhance the protection and filtering approaches of OSNs contents. This paper explores OSNs’ threats and challenges, and categorize them into: account-based, URL-based and content-based threats. In addition, we analyze the (...) existing protection methods and highlight their limitations and weaknesses. Based on that, we propose a comprehensive, user-level, proactive and real-time OSNs’ protection system, called Hybrid Real-time Social Networks Protector. HRSP has three components; a user-level security protocol and two classification models. The protocol defines a structure for OSN’s cryptographic services, including encryption, access control and users’ authentication. The classification models employ machine learning, black lists, white lists and users’ feedback, in order to classify URLs into: Benign, Risk and Inappropriate classes, and contents into: Benign, Hate speech and Inappropriate classes. We constructed two data sets of 150,000 URLs and 22,000 tweets to build and test the two classification models. Results show an overall accuracy of 93.2% for the URL model and 84.4% for the content model, while the protocol implementation produces compatible size and time overhead. The components of HRSP are integrated and have compatible design with OSN platforms. (shrink)

This paper explores the history of a unique assemblage of researchers in the geodetic and allied sciences organised at Ohio State University (OSU) in 1947 at the beginning of the Cold War. From about 1950 to 1970, the OSU geodetic sciences group was the most significant group of geodetic researchers in the world. Funded almost entirely by military and intelligence agencies, they pioneered the technologies, organised the research initiatives, ordered the data sets, and trained the generation of geodesists who eventually (...) created the Cold War Figure of the Earth to both prosecute and prevent global nuclear war. They devised elaborate mechanisms to pursue in secrecy and isolation research that had hitherto been performed collaboratively and globally. They invented methods to maintain professional associations and protocols, both to distribute-and disguise-the fruits of their geodetic research. In accomplishing this, their work also undermined the basic hypothesis of isostasy that had been foundational to geodesy for the previous century.Fundamental progress in the geosciences and military and intelligence directives were inextricably linked during the Cold War, although the extent of their convergence has been masked by the security protocols organised to disguise it. With the declassification of key programmes underway, it is now both possible and necessary to substantially revise the history of Cold War-era geosciences and their associated technologies. (shrink)

Many accounts of online trust are based upon mechanisms for building reputation. Trust is portrayed as desirable, and handing off trust is easier if trust is modelled to be transitive. But in the analysis of cyber-security protocols, trust is usually used as a substitute for certain knowledge: it follows that if there is no residual risk, then there is no need for trust. On this grimmer understanding, the less that users are required to trust, the better. Involuntary transitivity (...) of trust becomes corrosive, because it prevents participants from having control—or even knowledge—of the risks to which their trust assumptions expose them. In this paper, we take the stance that controlling the transitivity of trust requires us to recognise trust as a non-referentially transparent modality, similar to but significantly weaker than the epistemic modalities, and to accept the corollary that imaginary (indeed—even impossible) threats can have real consequences that adversely affect online security. An apparently paradoxical outcome is that the desire of principals to keep their trust assumptions private can actually assist the design of systems to satisfy multiple security agendas. However, this approach requires agents to have the capability to predicate accurately about states of affairs that are logically inconsistent with their beliefs, and consequently, designing systems in this way becomes more akin to diplomacy than engineering. (shrink)

The Russian Cards Problem has been extensively studied as an example of a problem of an unconditionally secure protocol where the sender and receiver are able to transmit secret information safely over a public non-secure channel without the secret being learned by a third party with access to the channel. Epistemic logic in general and public announcement logic in particular have been very useful in this study, as it involves careful analysis of subtle properties of nested knowledge. A long standing (...) open problem is whether or not there exist protocols of length strictly greater than two for the original problem. In this paper we finally settle this problem, answering the question in the affirmative, by presenting a new solution to the original Russian Cards Problem that involves more than two steps. It starts with an initial announcement with so-called crossing hands, after which it is not common knowledge that the protocol can terminate in one more step. (shrink)

The so-called phenomenon of collective intelligence is now a burgeoning movement, with several guises and examples in many areas. We briefly survey some relevant aspects of collective intelligence in several formats, such as social software, crowdfunding and convergence, and show that a formal version of this paradigm can also be posed to logic systems, by employing the notion of logic societies. The paradigm of logical societies has lead to a new notion of distributed semantics, the society semantics, with theoretical advances (...) in defining new forms of n-valued semantics in terms of k-valued semantics, for, and applications to flying security protocols. We summarise the main advances of society semantics, commenting on their general case, the possible-translations semantics and pointing to some conceptual points and some problems and directions still to be explored. (shrink)

The paper describes tableaux based proof methods for temporal logics of knowledge allowing non-trivial interaction axioms between the modal and temporal components, namely those of synchrony and no learning and synchrony and perfect recall. The interaction axioms allow the description of how knowledge evolves over time and makes reasoning in such logics theoretically more complex. Such logics can be used to specify systems that involve the knowledge of processes or agents and which change over time, for example agent based systems, (...) knowledge games or security protocols. Soundness, completeness and termination results for the tableaux are proved. (shrink)

Quantum bit commitment is insecure in the standard non-relativistic quantum cryptographic framework, essentially because Alice can exploit quantum steering to defer making her commitment. Two assumptions in this framework are that: Alice knows the ensembles of evidence E corresponding to either commitment; and system E is quantum rather than classical. Here, we show how relaxing assumption or can render her malicious steering operation indeterminable or inexistent, respectively. Finally, we present a secure protocol that relaxes both assumptions in a quantum teleportation (...) setting. Without appeal to an ontological framework, we argue that the protocol’s security entails the reality of the quantum state, provided retrocausality is excluded. (shrink)

Understanding the flow of knowledge in multi-agent protocols is essential when proving the correctness or security of such protocols. Current logical approaches, often based on model checking, are well suited for modeling knowledge in systems where agents do not act strategically. Things become more complicated in strategic settings. In this paper we show that such situations can be understood as a special type of game – a knowledge condition game – in which a coalition “wins” if it (...) is able to bring about some epistemic condition. This paper summarizes some results relating to these games. Two proofs are presented for the computational complexity of deciding whether a coalition can win a knowledge condition game with and without opponents (Σ2P-complete and NP-complete respectively). We also consider a variant of knowledge condition games in which agents do not know which strategies are played, and prove that under this assumption, the presence of opponents does not affect the complexity. The decision problem without opponents is still NP-complete, but requires a different proof. (shrink)

Academia is a competitive environment. Early Career Researchers (ECRs) are limited in experience and resources and especially need achievements to secure and expand their careers. To help with these issues, this book offers a new approach for conducting research using the combination of mindsponge innovative thinking and Bayesian analytics. This is not just another analytics book. 1. A new perspective on psychological processes: Mindsponge is a novel approach for examining the human mind’s information processing mechanism. This conceptual framework is used (...) to construct models in studies. The framework is highly flexible and widely applicable for many different types of information processes. The mindsponge approach can help researchers discover interesting ideas or even formulate their very own theories when investigating psychosocial phenomena. This approach brings a fresh wind to the current landscape of social sciences and humanities (SSH). 2. Easy-to-follow analysis protocol: The Bayesian Mindsponge Framework (BMF analytics) is useful in terms of computing and visualizing power but also easy to learn and apply. Contrary to being intimidating, the Bayesian analytics section of this book is presented in a reader-friendly manner with a detailed yet clear step-by-step procedure. Examples are from published BMF articles, allowing readers to immediately practice the method and quickly create their own applications. With educational purposes in mind, the book is very suitable for ECRs who are looking to innovate their research methods. 3. Advocating for low-cost, high-quality research: Doing science can be very costly. Mindsponge innovative thinking and BMF analytics help produce impactful studies using openly available data on online repositories. This is based on the authors’ previous works and experiences. The book presents examples of employing the open R package bayesvl on secondary data from different sources. With less financial constraints, researchers can have more freedom of thought to pursue their curiosity and creativity. ECRs in low- and middle-income countries may find this aspect crucial in their careers. 4. Support and collaboration: The authors share their insights from experiences in the academic publishing system to help readers get through the processes of manuscript writing and peer-reviewing more easily. The authors are also ready to support other researchers with further inquiries and collaboration opportunities at the following website, mindsponge(dot)info. This book is for: a) ECRs whose only abundant resources are their innovation capacity and strength of will; b) Researchers in SSH who want to explore a novel approach to thinking and study conducting; c) Low- and middle-income countries’ researchers looking for a cost-effective research protocol; and, d) Innovative thinkers who want to turn their interesting thoughts into good publications. (shrink)

Brain Computer Interfaces (BCIs) enable one to control peripheral ICT and robotic devices by processing brain activity on-line. The potential usefulness of BCI systems, initially demonstrated in rehabilitation medicine, is now being explored in education, entertainment, intensive workflow monitoring, security, and training. Ethical issues arising in connection with these investigations are triaged taking into account technological imminence and pervasiveness of BCI technologies. By focussing on imminent technological developments, ethical reflection is informatively grounded into realistic protocols of brain-to-computer communication. (...) In particular, it is argued that human-machine adaptation and shared control distinctively shape autonomy and responsibility issues in current BCI interaction environments. Novel personhood issues are identified and analyzed too. These notably concern (i) the “sub-personal” use of human beings in BCI-enabled cooperative problem solving, and (ii) the pro-active protection of personal identity which BCI rehabilitation therapies may afford, in the light of so-called motor theories of thinking, for the benefit of patients affected by severe motor disabilities. (shrink)

This article focuses on documentary narration in literary prose, which is analyzed with regard to its function and poetics using the example of selected texts of GDR protocol literature and German documentary literature of the post-reunification years. The question of what constitutes the peculiarity of documentary literature and what caused its popularity in the pre- and post-reunification period will be explored. Furthermore, selected examples will be used to illustrate how the levels of the factual and the fictional intermingle and complement (...) each other in the individual texts. The texts discussed in this article are narratives that remain close to factual events, but at the same time fictionalize them and therefore cannot be considered completely and unambiguously in either the category of literary fiction or documentary. (shrink)

Many journals and publishers employ online submission systems to process manuscripts. In some cases, one “template” format exists, but it is then molded slightly to suit the specific needs of each journal, a decision made by the editor-in-chief or editors. In the past few years, there has been an increase in the number of cases in which OSSs have been abused, mostly by the authorship, either through the creation of fake identities or the use of false e-mail accounts. Although the (...) abusive or fraudulent authors are at fault in such cases, the fact that such cases remained undetected for so long is of concern. Moreover, the current OSSs are imperfect, have security issues and may not be able to detect false information, except through post-submission verification. Sting operations, which involve the submission of false manuscripts with false identities and false affiliations, are no less unethical, and those who abuse the publishing protocol deserve to be as reprimanded as those who abuse OSSs. Finally, I question the ethics of editors or publishers creating OSS accounts on behalf of reviewers prior to obtaining their explicit permission. doi: 10.5294/pebi.2016.20.2.3. (shrink)

Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as today, (...) I felt the full weight of the moment of truth as it confronts the individual, the man or woman of action, with the imminent necessity to decide. Alongside, as I was climbing up the ladder of education, I found myself just as well captivated by the great intellectual stories of our times, in particular 20th century analytic philosophy and, at its core, the machinery of modern logic. How do then the cool contemplative modes of the philosophical and analytic outlooks, that are better fitting of the philosopher's armchair at the fireplace, hang together with the heat of the battlefield or the angst of the ticking clock of time left to the completion of a daring special operation? Growing up I was pondering exactly that. Not accidently, and in fact as consequence, I have chosen a course in life that challenged me to visit the poles of both theory and practice. I set myself on a mission to unravel the tension between the contemplative inquiry, supposedly theoretical, aiming at the logical structure of things, and the uncompromising test of life and action. The puzzle of the gap between theory and practice has become ever since the guiding question of my life. -/- Not long ago, I met two friends, Avner Shor, a veteran combat soldier of the special forces unit I eventually commanded, and Aviram Halevi, a fellow officer with whom I served. Why will we not put into writing the ideas that guided us during our years of military action, we wondered. At that time, I used to deliver the keynote lectures to the senior officers' course of Israel central intelligence organization, the Mossad. For this I already had to put some of these ideas in writing. Avner was quick to introduce me with a notable publisher and even helped me write the first chapter. With Aviram I sat to many meetings, where he would challenge me with key questions, and we followed them with memories of operations and battles, aiming to draw the required lessons. This served me well when I finally sat down to write the first draft of the book. The result was more extensive than me and my friends had expected. I had to add a particularly long chapter dealing with the story of modern philosophy and logic. This was required, I felt, as no decision-making process lives in an intellectual vacuum. Knowingly or subconsciously, the intellectual climate of the time guides us for better or worse with the decisions we finally take. The initial draft was naturally cumbersome and inaccessible. But here I had the privilege of meeting a particularly talented editor, Rami Rothholtz. I found in Rami both an editor and a critical reader. As an infantry combat soldier at youth and now a senior journalist and editor, Rami insisted on simplifying and refining my ideas. Had it not been for his work, this book would have been literally unreadable. *** I opened my book with a brief description of a single night of a special operation deep at the Lebanon Bekaa valley, far away from Israel northern border. The mission was to kidnap a senior terror leader known to be holding in captivity an Israeli pilot. This was also the last special operation I commanded in my military career. A single special operation night, but what had to precede it? For sure, many months of intense and skillful preparations. What is Planning? This is the question with which I open up chapter (2) of the book. I confront in this chapter two approaches to planning. The first is the one I saw as a mission to myself to cultivate in my many years of military service. The second is the one I saw as representing a deep-rooted fallacy that holds a firm grip on today's conventional wisdom about planning. To further examine the logic of the competing models, I was required in chapter (3) to analyze the concept of "The Standard". I argue that the false model of planning has its roots in an attitude of an uncompromising adherence to the power of literal obedience to standards and rules. The standard, or what is outlined by a rule as prescribing a future course of action, is seen as an answer to the fundamental tension between theory (planning) and practice (execution). I argue in contrast that the standard does not produce an answer but rather what I call: "A Well-Defined Question". In essence, it is a meticulously-well-planned invitation to exercise a fresh judgment. A judgement that has as an anchor the default answer that the standard produces but is open to extension as it confronts the new frame of reference of the test of reality. In chapter (4), I present a new tool for planning and execution: "The Polygon of Risks" or "The Polygon of Execution". The Polygon is a geometric illustration of the underlying tension that exists between all dimensions of the operational project. The construction and conceptualization of the trade-offs that exist between the various dimensions - segments of the polygon - is the first topic on the planner's agenda. I position the concepts of "Daring" and "Taking Proactive and Well-Informed Risks" as necessary logical constituents of the polygon and show how in contrast the false model of planning is responsible for an operational culture that is risk-averse. It encourages, in fact, the piling up of false securities at the segments' level that eventually lead to the collapse of the polygon. The necessary trade-offs relationships that exist between the segments of the polygon express the fundamental tension between partnership and competition: partnership in a joint goal and competition over resources, both material and abstract. When this tension is not managed well, that is, when the players' local optimizations overshadow the global optimization required for the success of the project, the execution polygon collapses. In this scenario, we may find the setting of the bar of "High Standards" in a players' spheres of responsibility to conceal a hidden agenda of personal insurances taken against a possible failure. Once the overall risk is not mitigated by way of collaborative joint executional dialogue, the process that leads to a collapse of the polygon is literally unstoppable. *** In chapter (5), I discuss "(Fateful) Decisions". I examine the way in which we should translate the polygon into sequential critical decisions on the timeline. The execution polygon is not a rigid scaffolding but a dynamic conceptual illustration of the -/- project. It will need now to be converted into successive decision junctions. We will find the content of a decision and its timing on the timeline to be inseparable. The right decision is the one that is taken at the right time. The moment of decision is in fact the last moment of deliberation, the first moment available for action, i.e. the first possible "Can" is also the latest possible "Must". Deciding too soon is analog to the "Jumping of the Gun". The decision maker is forcing a pre-conceived answer to a state of affairs not ripe for an answer, e.g. the target in the shooting range is not yet erected. Late to decide and the decision maker may envision what he or she should have done but reality is no longer available for them to harness it right, e.g. consider a tennis player's frustration when reviewing a too-late-to-react move in the video replay. I review in this chapter many fateful decisions, both historical, from Napoleon's Waterloo, to a Bridge Too Far of WWII, to the failed rescue attempt of American hostages at the time of the Iranian Revolution, as well as fateful decisions I had to take in the course of my military life, both in combat and in special operations, and show the sense in which they all answer to our analysis. The theme of chapter (6) is "The Moment of Truth". This is the moment when everything is on the line and from which there is no turning back. I discuss the formative repetitive structure of the schooling and simulation phase and contrast it with the "One Shot, One Opportunity" nature of the moment of truth. This is extremely helpful when we analyze the logical structure of failures as unwarranted repetitions of past lessons. The schooling curriculum indeed consists of important abstractions drawn from lessons of the past. However, it is when we project them in a fashion that is literal or mechanical that we cross path with the possibility of a failure. The paradox of education is that what we must repeat in school and simulation must be extended and not repeated in real life. What is required of us so we do not fall into the fallacy of repetition in face of the moment of truth is the core subject of the discussion of this chapter. In chapter (7), I took a lengthy philosophical detour surveying the intellectual drama of modern logic, and in general, the story of 20th century analytic philosophy. Readers who choose to bypass the somehow demanding narrative of this drama can do so and still keep the argumentative thread of the book. However, even by way of skipping the more technical parts, I would still urge the readers to delve into the discussion in this chapter as I believe this would grant them a deeper understanding of the overall conceptual framework. I explore here the work of two key figures: the logician Kurt Gödel and the philosopher Ludwig Wittgenstein, both were crowned in 2000 by TIME Magazine, as the leading Logician and Philosopher, respectively, of the 20th Century. I review the fascinating logical result of Gödel's Incompleteness Theorem and examine its relevance as setting a theoretical limit to the power of formalization. This amazing logical result - a result that shakes the logical foundations of 20th century thought in as much as the discovery of irrational numbers shook the foundations of the Pythagorean program of the ancient Greeks - bears significantly on the question of action and the blind trust we place in the power of formalization in the form of protocols and rules. It is here that Wittgenstein's philosophy enters in full force. We follow Wittgenstein as he dismantles our conception of rules as if there were "Railroads to Infinite", i.e. as prescribing for us in-advance their proper employments in all possible -/- future eventualities. Instead we propose that the dilemma of action demands of us an extension of rules rather than a mechanical or blind repetition of their literal imperative. In turn, this extension can serve as a new lesson added to the curriculum of school and simulation. The theme of chapter (8), the concluding chapter, is Strategy, Logic, and Ethics. The chapter comes to place the ethical dilemma in the conceptual map we presented in the book. I discuss here the tension between strategy as a process of setting goals and deriving backward as it were the steps that are necessary for achieving these goals, to the inescapable dictation of the ethical imperative. This unavoidable tension is particularly important against the backdrop of contemporary culture that is guided by a vision of personal success and achievement that may threaten our ability to do what is right. Most of all, I am troubled in this chapter, with the role logic may play, first as a liberating force enabling a change that is tuned to the ethical imperative, and second, as a force designed to justify on logical grounds, as it were, the existing power structure. It is in this junction that brave individuals will be called to challenge the governing logic of the zeitgeist - logic that operates now as an oppressive force that serves the vested interest of beneficials of the existing order. When success is favored over doing what is right, as we must admit is the prevailing cultural mood of our times, that the words of Emanuel Kant carry their full weight: "Do the Right thing and leave the Consequences to God". For this we need heroes and heroines that challenge the time by bearing the full weight of responsibility that comes with the doing of what is Right. *** This book was written more than anything from the perspective of the heroes and heroines of action. Sometimes they may be missing the exact words or the full insight into the solid logical complexity that stands between them and the doing of what is right. They feel what is right to do on the battlefield of life, whether in real battle, in political or economic life or whether in the life of creativity and the quest of the intellect. They do need, in analogy, proper logical and intellectual artillery. I hope they will find the logical cannons they require as they travel through the pages of this book. The rest is in their hands at the Moment of Truth. -/- Doron Avital, Tel Aviv 2011 -/- . (shrink)

Many journals and publishers employ online submission systems to process manuscripts. In some cases, one “template” format exists, but it is then molded slightly to suit the specific needs of each journal, a decision made by the editor-in-chief or editors. In the past few years, there has been an increase in the number of cases in which OSSs have been abused, mostly by the authorship, either through the creation of fake identities or the use of false e-mail accounts. Although the (...) abusive or fraudulent authors are at fault in such cases, the fact that such cases remained undetected for so long is of concern. Moreover, the current OSSs are imperfect, have security issues and may not be able to detect false information, except through post-submission verification. Sting operations, which involve the submission of false manuscripts with false identities and false affiliations, are no less unethical, and those who abuse the publishing protocol deserve to be as reprimanded as those who abuse OSSs. Finally, I question the ethics of editors or publishers creating OSS accounts on behalf of reviewers prior to obtaining their explicit permission. doi: 10.5294/pebi.2016.20.2.3. (shrink)

Humans have been using fire for hundreds of millennia, creating an ancestral expansion toward the nocturnal niche. The new adaptive challenges faced at night were recurrent enough to amplify existing psychological variation in our species. Night-time is dangerous and mysterious, so it selects for individuals with higher tendencies for paranoia, risk-taking, and sociability. During night-time, individuals are generally tired and show decreased self-control and increased impulsive behaviors. The lower visibility during night-time favors the partial concealment of identity and opens more (...) opportunities for disinhibition of self-interested behaviors. Indeed, individuals with an evening-oriented chronotype are more paranoid, risk-taking, extraverted, impulsive, promiscuous, and have higher antisocial personality traits. However, under some circumstances, such as respiratory pandemics, the psychobehavioral traits favored by the nocturnal niche might be counter-productive, increasing contagion rates of a disease that can evade the behavioral immune system because its disease cues are often nonexistent or mild. The eveningness epidemiological liability hypothesis presented here suggests that during the COVID-19 pandemic, the evening-oriented psychobehavioral profile can have collectively harmful consequences: there is a clash of core tendencies between the nocturnal chronotype and the recent viral transmission-mitigating safety guidelines and rules. The pandemic safety protocols disrupt much normal social activity, particularly at night when making new social contacts is desired. The SARS-CoV-2 virus is contagious even in presymptomatic and asymptomatic individuals, which enables it to mostly evade our evolved contagious disease avoidance mechanisms. A growing body of research has indirectly shown that individual traits interfering with social distancing and anti-contagion measures are related to those of the nocturnal chronotype. Indeed, some of the social contexts that have been identified as superspreading events occur at night, such as in restaurants, bars, and nightclubs. Furthermore, nocturnal environmental conditions favor the survival of the SARS-CoV-2 virus much longer than daytime conditions. We compare the eveningness epidemiological liability hypothesis with other factors related to non-compliance with pandemic safety protocols, namely sex, age, and life history. Although there is not yet a direct link between the nocturnal chronotype and non-compliance with pandemic safety protocols, security measures and future empirical research should take this crucial evolutionary mismatch and adaptive metaproblem into account, and focus on how to avoid nocturnal individuals becoming superspreaders, offering secure alternatives for nocturnal social activities. (shrink)