The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, which has been used to simulate the complex net update procedure of the standard, and the use of which will eventually be refined to obtain a solid model checking analysis of the standard. A concise description of net u...

We introduce “mod n cryptanalysis,” a form of partitioning attack that is effective against ciphers which rely on modular addition and bit rotations for their security. We demonstrate this attack with a mod 3 attack against RC5P, an RC5 variant that uses addition instead of xor. We also show mod 5 and mod 257 attacks against some versions of a family of ciphers used in the FireWire standard. We...

IEEE 802.16e, mobile Wi-Max, is a wireless technology used to provide very high data rate over large areas to a large number of users where broadband is unavailable. WiMAX network operators provide WiMAX subscriber units that enable connection to the metropolitan WiMAX network while WiFi units are used for connecting local devices within homes or businesses. In this paper, we use OPNET Modeler ...

Abstract. The IEEE 802.15.4 specification is a recent low data rate wireless personal area network standard. While basic security services are provided for, there is a lack of more advanced techniques which are indispensable in modern personal area network applications. In addition, performance implications of those services are not known. In this paper, we describe a secure data exchange proto...

A. The endogenous opioid system and natural reinforcement 1383 B. The endogenous opioid system and drugs of abuse 1387 C. Perspectives: extending studies to animal models of drug addiction 1393 IV. Genetic Manipulation of the Opioid System, Reinforcement, and Drug Dependence 1393 A. Opioid receptor knockout mice 1393 B. Opioid peptide knockout mice 1394 C. Conclusion 1395 D. Perspectives: towar...

Artykuł zawiera nową edycję oryginalnych fragmentów kroniki Wiganda von Marburg, które zachowały się do czasów współczesnych. We wstępie edycji omówiona została jej podstawa rękopiśmienna z uwzględnieniem dotychczasowych wydań, a także przedstawione zostały zasady edytorskie. Edycja obejmuje łącznie 11 oryginalnego rymowanego tekstu napisanej w latach 1393‒1394 języku średnio-górno-niemieckim. ...

We present the systems requirements generation and executable speciication capture of a single chip LAN Adapter for communicating using the IEEE 1394 Serial Bus Protocol. The requirements generation starts with high level performance simulation and then passes to an executable speciication suitable for implementation using a hardware/software co-design tool. The reuse of pre-existing components...

34 Hale, G., Dyer, M. J., Clark, M. R., Phillips, J. M., Marcus, R., Riechmann, L., Winter, G. and Waldmann, H. (1988) Lancet 2, 1394-1395 35 Dyer, M. J. S., Hale, G., Hayhoe, F. G. C. and Waldmann, H. (1989) Blood 73, 1431-1439 36 Waldmann, T. A., Goldman, C. K., Bongiovanni, K. F. et al. (1988) Blood 72, 1805-1816 37 Cheung, N-K., Lazarus, H., Miraldi, F. D. et al. (1987) J. Clin. Oncol. 5, 1...

Stichwörter: Feldbus, Sensor/Aktor-Kommunikation, Systemverknüpfung, Middleware, Software-Agenten Diese Arbeit stellt ein Gesamtkonzept für den Bereich der Heimautomatisierung vor, das die systemübergreifende Verbindung mehrerer Bussysteme ermöglicht. Das Konzept berücksichtigt dabei die Eigenschaften der einzelnen Bussysteme, erreicht aber dennoch eine Abstraktion der Buseigenschaften in Form ...