On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Torque vibration model of axial-flux surface-mounted permanent magnet synchronous machine

In order that the radius and thus ununiform structure of the teeth and otherelectrical and magnetic parts of the machine may be taken into consideration the calculation of an axial flux permanent magnet machine is, conventionally, doneby means of 3D FEM-methods. This calculation procedure, however, requires a lotof time and computer recourses. This study proves that also analytical methods can be applied to perform the calculation successfully. The procedure of the analytical calculation can be summarized into following steps: first the magnet is divided into slices, which makes the calculation for each section individually, and then the parts are submitted to calculation of the final results. It is obvious that using this method can save a lot of designing and calculating time. Thecalculation program is designed to model the magnetic and electrical circuits of surface mounted axial flux permanent magnet synchronous machines in such a way, that it takes into account possible magnetic saturation of the iron parts. Theresult of the calculation is the torque of the motor including the vibrations. The motor geometry and the materials and either the torque or pole angle are defined and the motor can be fed with an arbitrary shape and amplitude of three-phase currents. There are no limits for the size and number of the pole pairs nor for many other factors. The calculation steps and the number of different sections of the magnet are selectable, but the calculation time is strongly depending on this. The results are compared to the measurements of real prototypes. The permanent magnet creates part of the flux in the magnetic circuit. The form and amplitude of the flux density in the air-gap depends on the geometry and material of the magnetic circuit, on the length of the air-gap and remanence flux density of the magnet. Slotting is taken into account by using the Carter factor in the slot opening area. The calculation is simple and fast if the shape of the magnetis a square and has no skew in relation to the stator slots. With a more complicated magnet shape the calculation has to be done in several sections. It is clear that according to the increasing number of sections also the result will become more accurate. In a radial flux motor all sections of the magnets create force with a same radius. In the case of an axial flux motor, each radial section creates force with a different radius and the torque is the sum of these. The magnetic circuit of the motor, consisting of the stator iron, rotor iron, air-gap, magnet and the slot, is modelled with a reluctance net, which considers the saturation of the iron. This means, that several iterations, in which the permeability is updated, has to be done in order to get final results. The motor torque is calculated using the instantaneous linkage flux and stator currents. Flux linkage is called the part of the flux that is created by the permanent magnets and the stator currents passing through the coils in stator teeth. The angle between this flux and the phase currents define the torque created by the magnetic circuit. Due to the winding structure of the stator and in order to limit the leakage flux the slot openings of the stator are normally not made of ferromagnetic material even though, in some cases, semimagnetic slot wedges are used. In the slot opening faces the flux enters the iron almost normally (tangentially with respect to the rotor flux) creating tangential forces in the rotor. This phenomenon iscalled cogging. The flux in the slot opening area on the different sides of theopening and in the different slot openings is not equal and so these forces do not compensate each other. In the calculation it is assumed that the flux entering the left side of the opening is the component left from the geometrical centre of the slot. This torque component together with the torque component calculated using the Lorenz force make the total torque of the motor. It is easy to assume that when all the magnet edges, where the derivative component of the magnet flux density is at its highest, enter the slot openings at the same time, this will have as a result a considerable cogging torque. To reduce the cogging torquethe magnet edges can be shaped so that they are not parallel to the stator slots, which is the common way to solve the problem. In doing so, the edge may be spread along the whole slot pitch and thus also the high derivative component willbe spread to occur equally along the rotation. Besides forming the magnets theymay also be placed somewhat asymmetric on the rotor surface. The asymmetric distribution can be made in many different ways. All the magnets may have a different deflection of the symmetrical centre point or they can be for example shiftedin pairs. There are some factors that limit the deflection. The first is that the magnets cannot overlap. The magnet shape and the relative width compared to the pole define the deflection in this case. The other factor is that a shifting of the poles limits the maximum torque of the motor. If the edges of adjacent magnets are very close to each other the leakage flux from one pole to the other increases reducing thus the air-gap magnetization. The asymmetric model needs some assumptions and simplifications in order to limit the size of the model and calculation time. The reluctance net is made for symmetric distribution. If the magnets are distributed asymmetrically the flux in the different pole pairs will not be exactly the same. Therefore, the assumption that the flux flows from the edges of the model to the next pole pairs, in the calculation model from one edgeto the other, is not correct. If it were wished for that this fact should be considered in multi-pole pair machines, this would mean that all the poles, in other words the whole machine, should be modelled in reluctance net. The error resulting from this wrong assumption is, nevertheless, irrelevant.

Autosomal dominant dopa-responsive parkinsonism in a multigenerational Swiss family.

AIM: To describe a large family with autosomal dominant parkinsonism. BACKGROUND: Seven genes are directly implicated in autosomally inherited parkinsonism. However, there are several multigenerational large families known with no identifiable mutation. MATERIAL AND METHODS: Family members were evaluated clinically, by history and chart review. Genetic investigation included SCA2, SCA3, UCHL1, SNCA, LRRK2, PINK1, PRKN, PGRN, FMR1 premutation, and MAPT. The proband underwent brain fluorodopa PET (FD-PET) scan, and one autopsy was available. RESULTS: Eleven patients had a diagnosis of Parkinson's disease (PD), nine women. Mean age of onset was 52 with tremor-predominant dopa-responsive parkinsonism. Disease progression was slow but severe motor fluctuations occurred. One patient required subthalamic nucleus deep-brain stimulation with a good motor outcome. One patient had mental retardation, schizophrenia and became demented, and another patient was demented. Three patients and also two unaffected subjects had mild learning difficulties. All genetic tests yielded negative results. FD-PET showed marked asymmetric striatal tracer uptake deficiency, consistent with PD. Pathological examination demonstrated no Lewy bodies and immunostaining was negative for alpha-synuclein. CONCLUSION: Apart from a younger age of onset and a female predominance, the phenotype was indistinguishable from sporadic tremor-predominant PD, including FD-PET scan results. As known genetic causes of autosomal dominant PD were excluded, this family harbors a novel genetic defect.

Algorithms and cryptographic protocols using elliptic curves

En els darrers anys, la criptografia amb corbes el.líptiques ha adquirit una importància creixent, fins a arribar a formar part en la actualitat de diferents estàndards industrials. Tot i que s'han dissenyat variants amb corbes el.líptiques de criptosistemes clàssics, com el RSA, el seu màxim interès rau en la seva aplicació en criptosistemes basats en el Problema del Logaritme Discret, com els de tipus ElGamal. En aquest cas, els criptosistemes el.líptics garanteixen la mateixa seguretat que els construïts sobre el grup multiplicatiu d'un cos finit primer, però amb longituds de clau molt menor. Mostrarem, doncs, les bones propietats d'aquests criptosistemes, així com els requeriments bàsics per a que una corba sigui criptogràficament útil, estretament relacionat amb la seva cardinalitat. Revisarem alguns mètodes que permetin descartar corbes no criptogràficament útils, així com altres que permetin obtenir corbes bones a partir d'una de donada. Finalment, descriurem algunes aplicacions, com són el seu ús en Targes Intel.ligents i sistemes RFID, per concloure amb alguns avenços recents en aquest camp.

The changing milliarcsecond radio morphology of the gamma-ray binary LS 5039

LS 5039 is one of the few TeV emitting X-ray binaries detected so far. The powering source of its multiwavelength emission can be accretion in a microquasar scenario or wind interaction in a young nonaccreting pulsar scenario. Aims.To present new high-resolution radio images and compare them with the expected behavior in the different scenarios. Methods.We analyze Very Long Baseline Array (VLBA) radio observations that provide morphological and astrometric information at milliarcsecond scales. Results.We detect a changing morphology between two images obtained five days apart. In both runs there is a core component with a constant flux density, and an elongated emission with a position angle (PA) that changes by 12 $\pm$ $3\degr$ between both runs. The source is nearly symmetric in the first run and asymmetric in the second one. The astrometric results are not conclusive. Conclusions.A simple and shockless microquasar scenario cannot easily explain the observed changes in morphology. An interpretation within the young nonaccreting pulsar scenario requires the inclination of the binary system to be very close to the upper limit imposed by the absence of X-ray eclipses.

Confirmation of persistent radio jets in the microquasar LS 5039

We present here new observations conducted with the EVN and MERLIN of the persistent microquasar LS 5039 discovered by Paredes et al. (2000) with the VLBA. The new observations confirm the presence of an asymmetric two-sided jet reaching up to 1000 AU on the longest jet arm. The results suggest a bending of the jets with increasing distance from the core and/or precession. The origin and location of the high-energy gamma-ray emission associated with the system is discussed and an estimate of the magnetic field at the base of the jet given. Our results suggest a well collimated radio jet. We also comment on new observing strategies to be used with satellites and forthcoming detectors, since this persistent source appears to be a rather good laboratory to explore the accretion/ejection processes taking place near compact objects.

Highly textured Sr, Nb, co-doped BiFeO3 thin films grown on SrRuO3/Si substrates by rf-sputtering

In this study, (011)-highly oriented Sr, Nb co-doped BiFeO3 (BFO) thin films were successfully grown on SrRuO3/Si substrates by rf-magnetron sputtering. The presence of parasite magnetic phases was ruled out based on the high resolution x-ray diffraction data. BFO films exhibited a columnar-like grain growth with rms surface roughness values of 5.3 nm and average grain sizes of 65-70 nm for samples with different thicknesses. Remanent polarization values (2Pr) of 54 lC cm 2 at room temperature were found for the BFO films with a ferroelectric behavior characteristic of an asymmetric device structure. Analysis of the leakage mechanisms for this structure in negative bias suggests Schottky injection and a dominant Poole-Frenkel trap-limited conduction at room temperature. Oxygen vacancies and Fe3þ/Fe2þ trap centers are consistent with the surface chemical bonding states analysis from x-ray photoelectron spectroscopy data. The (011)-BFO/ SrRuO3/Si film structure exhibits a strong magnetic interaction at the interface between the multiferroic film and the substrate layer where an enhanced ferromagnetic response at 5 K was observed. Zero-field cooled (ZFC) and field cooled (FC) magnetization curves of this film system revealed a possible spin glass behavior at spin freezing temperatures below 30 K depending on the BFO film thickness.

Vahva todennus julkisen avaimen järjestelmässä

Arvokasta tai luottamuksellista tietoa käsittelevien palveluiden, kuten pankki- ja kauppa-palveluiden, tarjoaminen julkisessa Internet-verkossa on synnyttänyt tarpeen vahvalle todennukselle, eli käyttäjien tunnistuksen varmistamiselle. Vahvassa todennuksessa käytetään salaus-menetelmien tarjoamia keinoja todennus-tapahtuman tieto-turvan parantamiseen heikkoihin todennusmenetelmiin nähden. Todennusta käyttäjätunnus-salasana-yhdistelmällä voidaan pitää heikkona menetelmänä. Julkisen avaimen järjestelmän varmenteita voidaan käyttää WWW-ympäristössä toimivissa palveluissa yhteyden osapuolten todentamiseen. Tässä työssä suunniteltiin vahva käyttäjän todennus julkisen avaimen järjestelmällä WWW-ympäristössä tarjottavalle palvelulle ja toteutettiin palvelun tarjoavan sovelluksen komponentiksi soveltuva yksinkertainen varmentaja OpenSSL-salaustyökalupaketin avulla. Työssä käydään läpi myös salauksen perusteet, julkisen avaimen järjestelmä ja esitellään olemassaolevia varmentajatoteutuksia ja mahdollisia tieto-turva-uhkia Vahva todennus tulee suunnitella siten, että palvelun käyttäjä ymmärtää, mikä tarkoitus hänen toimillaan on ja miten ne edistävät tietoturvaa. Internet-palveluissa käyttäjän vahva todennus ei ole yleistynyt huonon käytettävyyden vuoksi.

All-sky search algorithms for monochromatic signals in bar gravitational wave detector data

In this paper we design and develop several filtering strategies for the analysis of data generated by a resonant bar gravitational wave (GW) antenna, with the goal of assessing the presence (or absence) therein of long-duration monochromatic GW signals, as well as the eventual amplitude and frequency of the signals, within the sensitivity band of the detector. Such signals are most likely generated in the fast rotation of slightly asymmetric spinning stars. We develop practical procedures, together with a study of their statistical properties, which will provide us with useful information on the performance of each technique. The selection of candidate events will then be established according to threshold-crossing probabilities, based on the Neyman-Pearson criterion. In particular, it will be shown that our approach, based on phase estimation, presents a better signal-to-noise ratio than does pure spectral analysis, the most common approach.

Wireless Authentication and Authorization, case Wireless Access Control System

Lyhyen kantaman radiotekniikoiden hyödyntäminen mahdollistaa uudenlaisten paikallisten palveluiden käytön ja vanhojen palveluiden kehittämisen. Kulunvalvonta on päivittäisenä palveluna valittu työn esimerkkisovellukseksi. Useita tunnistus- ja valtuutustapoja tutkitaan, ja julkisen avaimen infrastruktuuri on esitellään tarkemmin. Langattomat tekniikat Bluetooth, Zigbee, RFID ja IrDA esitellän yleisellä tasolla langattomat tekniikat –luvussa. Bluetooth-tekniikan rakennetta, mukaan lukien sen tietoturva-arkkitehtuuria, tutkitaan tarkemmin. Bluetooth-tekniikkaa käytetään työssä suunnitellun langattoman kulunvalvontajärjestelmän tietojen siirtoon. Kannettava päätelaite toimii käyttäjän henkilökohtaisena luotettuna laitteena, jota voi käyttää avaimena. Käyttäjän tunnistaminen ja valtuuttaminen perustuu julkisen avaimen infrastruktuuriin. Ylläpidon allekirjoittamat varmenteet sisältävät käyttäjän julkisen avaimen lisäksi tietoa hänestä ja hänen oikeuksistaan. Käyttäjän tunnistaminen kulunvalvontapisteissä tehdään julkisen ja salaisen avaimen käyttöön perustuvalla haaste-vastaus-menetelmällä. Lyhyesti, järjestelmässä käytetään Bluetooth-päätelaitteita langattomina avaimina.

Nuclear surface properties in relativistic effective field theory

We perform Hartree calculations of symmetric and asymmetric semi-infinite nuclear matter in the framework of relativistic models based on effective hadronic field theories as recently proposed in the literature. In addition to the conventional cubic and quartic scalar self-interactions, the extended models incorporate a quartic vector self-interaction, scalar-vector non-linearities and tensor couplings of the vector mesons. We investigate the implications of these terms on nuclear surface properties such as the surface energy coefficient, surface thickness, surface stiffness coefficient, neutron skin thickness and the spin-orbit force.

Henkilökohtaisen päätelaitteen käyttö lähimaksujärjestelmässä

Henkilökohtaista luotettavaa päätelaitetta voidaan käyttää maksuvälineenä langattomissa maksujärjestelmissä. Päätelaitteen luotettavuus saadaan aikaan sen sisältämien tietojen salauksen ja käyttäjän tunnistuksen avulla. Kaupankäynnin tietoturvan kannalta järjestelmien tärkeimpiä tehtäviä ovat osapuolten tunnistaminen ja tietoyhteyden suojaaminen. Tässä työssä esitellään automaatti- ja ruokalamaksamisen järjestelmä, jossa käytetään maksuvälineenä Bluetooth-ominaisuudella varustettua kämmentietokonetta. Henkilökohtaisen luotettavan päätelaitteen vaatimuksia ja uhkia käydään läpi. Samoin erilaisia menetelmiä käyttäjän ja laitteiden tunnistukseen sekä tietoyhteyden suojaamiseen. Käyttäjän tunnistus perustuu julkisten avainten varmenteisiin, joihin on sisällytetty tietoa niin asiakkaasta, maksuvälineestä kuin maksumenetelmästäkin. Maksumenetelmäksi on valittu tilien käyttö. Tietoyhteyden suojaamiseen käytetään epäsymmetristä salausta.

Integrin-Specific Mechanoresponses to Compression and Extension Probed by Cylindrical Flat-Ended AFM Tips in Lung Cells

Cells from lung and other tissues are subjected to forces of opposing directions that are largely transmitted through integrin-mediated adhesions. How cells respond to force bidirectionality remains ill defined. To address this question, we nanofabricated flat-ended cylindrical Atomic Force Microscopy (AFM) tips with ~1 µm2 cross-section area. Tips were uncoated or coated with either integrin-specific (RGD) or non-specific (RGE/BSA) molecules, brought into contact with lung epithelial cells or fibroblasts for 30 s to form focal adhesion precursors, and used to probe cell resistance to deformation in compression and extension. We found that cell resistance to compression was globally higher than to extension regardless of the tip coating. In contrast, both tip-cell adhesion strength and resistance to compression and extension were the highest when probed at integrin-specific adhesions. These integrin-specific mechanoresponses required an intact actin cytoskeleton, and were dependent on tyrosine phosphatases and Ca2+ signaling. Cell asymmetric mechanoresponse to compression and extension remained after 5 minutes of tip-cell adhesion, revealing that asymmetric resistance to force directionality is an intrinsic property of lung cells, as in most soft tissues. Our findings provide new insights on how lung cells probe the mechanochemical properties of the microenvironment, an important process for migration, repair and tissue homeostasis.

Job Satisfaction of Spanish University Graduates

This paper investigates the determinants of job satisfaction of university graduates in Spain. We base our analysis on Locke"s discrepancy theory [Locke (1969)] and decompose subjective evaluation of job characteristics into surplus and deficit levels. We also study the importance of overeducation and over-skilling on job satisfaction. We use REFLEX data, a survey of university graduates. We conclude that job satisfaction is mostly determined by the subjective evaluation of intrinsic job characteristics, with an asymmetric impact of surpluses and deficits. Over-skilling is much more important than over-education in explaining the job satisfaction of university graduates, although the latter is also significant.

Dels jeroglífics egipcis a la compartició de secrets

En aquest article parlarem d'un jeroglífic inscrit als laterals de la llinda de Sant Andreu de la Barroca, una petita església perduda en un indret recòndit de la Vall del Llémena, a la Garrotxa. A propòsit d'aquest petit enigma ludolingüístic, plantejarem(i finalment resoldrem) un problema de naturalesa combinatòria que el lector interessat pot provar de resoldre com a exercici. També fem un breu repàs de la història del desxiframent '’escriptures de civilitzacions antigues. Aprofitem l'avinentesa per introduir els conceptes d'entropia i redundància del llenguatge, que ens ajudaran a entendre per què, tard o d'hora, qualsevolescriptura antiga finalment acaba essent desxifrada quan es té una conjectura raonable sobre quina és la llengua que transcriu. Finalment, definim el concepte d'esquema de compartició de secrets, un problema de criptografia moderna en el qual un conjunt de persones gestiona petits fragments d'informació compartida, i que es resol aplicant de manera brillant una idea que prové del món de l'àlgebra lineal més elemental