An artificial protocol called the “ffgg” protocol is constructed, with a parallel attack exposing a secret data item. It is proved that a parallel attack is necessary, because the protocol is shown to be secure under non-parallel attacks. We use an inductive approach in the PVS verification environment.

In this paper, we investigate the environmental performance of lean supply chains using carbon dioxide emissions as the key performance indicator. Lean is based on the premise that compressing time reveals hidden quality problems and that their resolution leads to more efficient, cost-effective business processes. If time compression always implies lower emissions, then a leaner system is alway...

In this issue of Blood, Leon and colleagues describe the effects of romiplostim, athrombopoietin (Tpo) mimetic peptide, in the mouse model of inherited platelet dysfunction because of mutation of the myosin 9 gene.1

Abstract Some plausibly necessary a posteriori theoretical claims include ‘water is H 2 O’, ‘gold the element with atomic number 79’, and ‘cats are animals’. In this paper I challenge necessity of third claim. argue that there possible worlds in which cats exist, but not animals. Under any species concepts currently accepted biology, organisms do belong essentially to their species. This equall...