A survey of encryption standards

The author reviews encryption algorithms and standards, how they compare, how they differ, and where they are headed. Attention is given to secret-key cryptosystems, public-key cryptosystems, digital signature schemes, key-agreement algorithms, cryptographic hash functions, and authentication codes. Applications considered are secure electronic mail, secure communications, directory authentication and network management, banking, and escrowed encryption     

Calculation of a three-dimensional flow of a viscous incompressible liquid in the neighborhood of a shallow well on a flat surface

A three-dimensional flow in the neighborhood of a shallow well on a plane was simulated numerically on the basis of a solution of the Reynolds equations written in curvilinear nonorthogonal coordinates and closed by a two-parametric dissipative model of turbulence.The work has been financed by the Russian Basic Research Foundation (Grant No. 94-02-04092 a).Civil Aviation Academy, St. Petersburg, Russia. Translated from Inzhenerno-Fizicheskii Zhurnal, Vol. 67, Nos. 5–6, pp. 373–378, November–December, 1994.     

Addressing substrate coupling in mixed-mode ICs: simulation andpower distribution synthesis

This paper describes new techniques for the simulation and power distribution synthesis of mixed analog/digital integrated circuits considering the parasitic coupling of noise through the common substrate. By spatially discretizing a simplified form of Maxwell's equations, a three-dimensional linear mesh model of the substrate is developed. For simulation, a macromodel of the fine substrate mesh is formulated and a modified version of SPICE3 is used to simulate the electrical circuit coupled with the macromodel. For synthesis, a coarse substrate mesh, and interconnect models are used to couple linear macromodels of circuit functional blocks. Asymptotic Waveform Evaluation (AWE) is used to evaluate the electrical behavior of the network at every iteration in the synthesis process. Macromodel simulations are significantly faster than device level simulations and compare accurately to measured results. Synthesis results demonstrate the critical need to constrain substrate noise and simultaneously optimize power bus geometry and pad assignment to meet performance targets     

Myocardial imaging with technetium-99m-tetrofosmin: comparison of one-day and two-day protocols

There is no evidence of myocardial redistribution after tetrofosmin injection, therefore, two separate injections are needed to differentiate scar from ischemia with this tracer. The injections can be given on the same day (one-day protocol) or on separate days (two-day protocol). As part of a Phase II clinical study, a one-day protocol was compared with a two-day protocol. METHODS: Fifty-five patients with suspected coronary artery disease were studied according to the following protocol: on the first day at rest, anterior, left lateral, left anterior oblique 40 degrees and 70 degrees images were acquired 30 min after injection of 8 mCi of tetrofosmin for 5 min each. Two days later, exercise and rest images were acquired on the same day. At peak exercise, 8 mCi of tetrofosmin were injected and 30 min later the same four standard planar images were recorded as on Day one. Four hours after the exercise injection, 24 mCi of tetrofosmin were injected at rest and imaging was repeated 30 min later. Qualitative comparisons between the one- and two-day protocols were performed in 50 patients in whom all data were available following blinded evaluation of images by three readers. RESULTS: All three readers reported identical results for the 26 patients. A difference in extent or location between the observers was found in seven patients, differences between normal and abnormal in eight patients, while discrepancies between ischemia and necrosis were noted in four patients. In five patients, an ischemic area was found according to the one-day protocol, but according to the data of the two-day protocol, this area was judged to be necrotic. One observer reported the opposite in one patient. These discrepancies between the reversibility of defects were restricted to the inferior wall. Comparison with 201Tl data showed no systematic pattern of variation. CONCLUSION: Tetrofosmin can be used in a one-day protocol. However, in planar imaging, the inferior wall should be reported with caution.     

QDA-a method for systematic informal program analysis

Formal verification of program properties may be infeasible or impractical, and informal analysis may be sufficient. Informal analysis involves the informal acceptance, by inspection, of the validity of program properties or steps in an analysis. Informal analysis may also involve abstraction. Abstraction can be used to eliminate details and concentrate on more general properties. Abstraction will result in informal analysis if it includes the use of undefined properties. A systematic, informal method for analysis called QDA (Quick Defect Analysis) is described. QDA is a comments analysis process based on facts and hypotheses. Facts are used to create an abstract program model, and hypotheses are selected, nonobvious program properties which are identified as needing verification. Hypotheses are proved from the facts that define an abstraction. QDA is hypothesis-driven in the sense that only those parts of an abstraction that are needed to prove hypotheses are created. The QDA approach was applied to a previously well tested operational flight program (OFP). The QDA method and the results of the OFP experiment are presented. The problems of incomplete or unsound informal analysis are analyzed, the relationship of QDA to other analysis methods is discussed, and suggested improvements to the QDA method are described