منابع مشابه
Harmful devices considered harmless
Attacks on host computers by malicious peripherals are a growing problem; the inexorable advance of powerful, small, cheap peripherals, which attach to plug-and-play buses, has made such attacks easy to mount. At the same time, commodity operating systems lack systematic defenses. We present Cinch, a pragmatic response to this threat. Cinch transforms USB peripherals to untrusted network endpoi...
متن کاملStates and exceptions considered as dual effects
Abstract. In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known categorical duality between products and coproducts. More precisely, the lookup and update operations for states are respectively dual to the throw a...
متن کاملNesiritide: harmful or harmless?
Nesiritide is the recombinant form of human B-type (brain) natriuretic peptide (BNP), and its amino acid sequence is identical to that of endogenous human BNP. Administration of nesiritide results in venous and arterial vasodilation, as well as enhanced diuresis. Given the many limitations of therapies previously available for the treatment of acute decompensated heart failure, the anticipation...
متن کاملByzantine Clients Rendered Harmless
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzantine faulty clients. This paper presents novel protocols that provide atomic semantics despite Byzantine clients. Our protocols are the first to handle all problems caused by Byzantine clients. They prevent Byzantine c...
متن کاملMindless, Harmless, and Blameworthy
There is a compelling simplicity to the theoretical approach to moral judgment proposed by Gray, Young, and Waytz (this issue; henceforth GYW). On 10 their approach, all that is needed to account for the large body of empirical findings on moral judgment is a description of the prototypical moral encounter—a moral agent who brings harm to a moral patient. This is what psychological theorizing o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1996
ISSN: 0167-6423
DOI: 10.1016/0167-6423(95)00029-1