Concurrent Knowledge-Extraction in the Public-Key Model

Knowledge extraction is a fundamental notion, modelling machine possession of values (witnesses) in a computational complexity sense. The notion provides an essential tool for cryptographic protocol design and analysis, enabling one to argue about the internal state of protocol players without ever looking at this supposedly secret state. However, when transactions are concurrent (e.g., over the Internet) with players possessing public-keys (as is common in cryptography), assuring that entities ``know'' what they claim to know, where adversaries may be well coordinated across different transactions, turns out to be much more subtle and in need of re-examination. Here, we investigate how to formally treat knowledge possession by parties (with registered public-keys) interacting over the Internet. Stated more technically, we look into the relative power of the notion of ``concurrent knowledge-extraction'' (CKE) in the concurrent zero-knowledge (CZK) bare public-key (BPK) model.Comment: 38 pages, 4 figure

Rates of solar angles for two-axis concentrators

The Sun's position by the azimuth and elevation angles and its rate of change at any time of day are determined to design 2 axis tracking mechanisms of solar concentrators. The Sun's angles and their rates for selected months of the year (March, June, September and December) and for seven selected atitudes (0, + or - 30, + or - 60, + or - 90) covering both the northern and southern hemispheres were studied. The development of the angle and angle rate analytical expressions for any month, hour of day, and latitude provides the solar concentrator designer with a quantitative determination of the limiting Sun's position and angle rates for an accurate automatic tracking mechanism

On the Miura and Backlund transformations associated with the supersymmetric Gelfand-Dickey bracket

The supersymmetric version of the Miura and B\"acklund transformations associated with the supersymmetric Gelfand-Dickey bracket are investigated from the point of view of the Kupershmidt-Wilson theorem.Comment: 8 pages, Revtex, version to appear on Mod. Phys. Lett.