Sistema d'autenticació one-time password (OTP) per a mòbils

Aquest projecte consisteix en fer l’anàlisi, disseny i implementació d'un sistema d'autenticació a través de contrasenyes d’un sol ús (One Time Password ‐OTP‐) per a dispositius mòbils. Per evitar l’ús de contrasenyes estàtiques farem una aplicació per a telèfons mòbils capaç de generar contrasenyes aleatòries gràcies a uns paràmetres previs, així com de poder tenir un registre dels serveis on poden ser utilitzades. Partirem d’un protocol repte/resposta on l’usuari interactuarà amb el seu telèfon mòbil i un ordinador personal amb una connexió a Internet. Podrà registrar‐se i, introduint certes dades al mòbil que li proporciona el servidor, podrà fer el procés d’autenticar‐se per poder accedir a zones restringides del servei.

One-time signature scheme from syndrome decoding over generic error-correcting codes

We describe a one-time signature scheme based on the hardness of the syndrome decoding problem, and prove it secure in the random oracle model. Our proposal can be instantiated on general linear error correcting codes, rather than restricted families like alternant codes for which a decoding trapdoor is known to exist. (C) 2010 Elsevier Inc. All rights reserved,

Letters on the currency : addressed to Charles Wood, Esq. M.P. (Chairman of the Committee of the House of Commons, now sitting,) ascertaining for the first time, on true principles, the amount of inland and foreign bills of exchange, in circulation for several consecutive years, and out at one time : also, defending country bankers from the charge made against them in the work of S. Jones Loyd, Esq. : and giving unanswerable reasons why the notes of a bank of issue should not be substituted for the circulation of country bankers /

Goldsmiths'-Kress no. 31555.

The sword of the old frontier : a tale of Fort Chartres and Detroit : being a plain account of sundry adventures befalling Chevalier Raoul de Coubert, one time captain in the Hussars of Languedoc, during the year 1763 /

Mode of access: Internet.

"My merry Rockhurst"; being some episodes in the life of Viscount Rockhurst, a friend of King Charles the Second, and at one time constable of His Majesty's tower of London,

Mode of access: Internet.

A Secure Mobile-based Authentication System

Financial information is extremely sensitive. Hence, electronic banking must provide a robust system to authenticate its customers and let them access their data remotely. On the other hand, such system must be usable, affordable, and portable.We propose a challengeresponse based one-time password (OTP) scheme that uses symmetriccryptography in combination with a hardware security module. The proposed protocol safeguards passwords from keyloggers and phishing attacks.Besides, this solution provides convenient mobility for users who want to bank online anytime and anywhere, not just from their owntrusted computers.

Time course proteomic profiling of human myocardial infarction plasma samples: An approach to new biomarker discovery

Background: The aim of this study was to identify novel candidate biomarker proteins differentially expressed in the plasma of patients with early stage acute myocardial infarction (AMI) using SELDI-TOF-MS as a high throughput screening technology. Methods: Ten individuals with recent acute ischemic-type chest pain (< 12 h duration) and ST-segment elevation AMI (1STEMI) and after a second AMI (2STEMI) were selected. Blood samples were drawn at six times after STEMI diagnosis. The first stage (T(0)) was in Emergency Unit before receiving any medication, the second was just after primary angioplasty (T(2)), and the next four stages occurred at 12 h intervals after T(0). Individuals (n = 7) with similar risk factors for cardiovascular disease and normal ergometric test were selected as a control group (CG). Plasma proteomic profiling analysis was performed using the top-down (i.e. intact proteins) SELDI-TOF-MS, after processing in a Multiple Affinity Removal Spin Cartridge System (Agilent). Results: Compared with the CG, the 1STEMI group exhibited 510 differentially expressed protein peaks in the first 48 h after the AMI (p < 0.05). The 2STEMI group, had similar to 85% fewer differently expressed protein peaks than those without previous history of AMI (76, p < 0.05). Among the 16 differentially-regulated protein peaks common to both STEMI cohorts (compared with the CG at T(0)), 6 peaks were persistently down-regulated at more than one time-stage, and also were inversed correlated with serum protein markers (cTnI, CK and CKMB) during 48 h-period after IAM. Conclusions: Proteomic analysis by SELDI-TOF-MS technology combined with bioinformatics tools demonstrated differential expression during a 48 h time course suggests a potential role of some of these proteins as biomarkers for the very early stages of AMI, as well as for monitoring early cardiac ischemic recovery. (C) 2011 Elsevier B.V. All rights reserved.

On the many-time formulation of classical particle dynamics

Starting from the standard one-time dynamics of n nonrelativistic particles, the n-time equations of motion are inferred, and a variational principle is formulated. A suitable generalization of the classical LieKnig theorem is demonstrated, which allows the determination of all the associated presymplectic structures. The conditions under which the action of an invariance group is canonical are studied, and a corresponding Noether theorem is deduced. A formulation of the theory in terms of n first-class constraints is recovered by means of coisotropic imbeddings. The proposed approach also provides for a better understanding of the relativistic particle dynamics, since it shows that the different roles of the physical positions and the canonical variables is not peculiar to special relativity, but rather to any n-time approach: indeed a nonrelativistic no-interaction theorem is deduced.

PEAP 802.1x-tunnistuksen toteutus RADIUS-palvelimeen

Valimo iDServer -tunnistuspalvelin on ohjelmisto, joka tukee eri käyttäjientunnistusmenetelmiä, kuten tekstiviestillä lähetettävää kertakäyttösalasanaa tai normaaliakäyttäjätunnusta ja salasanaa. Tässä diplomityössä kuvataan, kuinka palvelimeenon lisätty tuki käyttäjien kirjautumiselle langattoman verkon tukiasemien ja virtuaalilähiverkkoa tukevien kytkinten kautta käyttäen normaaleja Windows-käyttöjärjestelmän mukana tulevia asiakasohjelmistoja. Työn ensimmäisessä vaiheessa kuvataan lähtökohdat ja vaatimukset tulevalle järjestelmälle. Työn osana käytännössä tehty kokonaisuus muodostuu useista eri määrityksistä koostuvista osista. Työn toisessa vaiheessa käydään läpi korkealla tasolla sovelluksen vaatimat protokollat. Osana näihin protokolliin kuului erilaisten avainten jatarkisteiden laskenta sekä salausmenetelmien käyttö, jotka myös kuvataan tässä työssä. Viimeisessä kappaleessa analysoidaan työn tuloksia jakäydään läpi toteutukseen ja itse sovelluksen toimintaan liittyvät ongelmat. Suurin osa havaituista ongelmista liittyi tilanteisiin, joihin itse palvelinsovelluksen toteutuksella ei voitu vaikuttaa. Eniten ongelmia aiheuttivat asiakasohjelmiston sekä verkkokorttien ja niiden ajureiden toiminta ongelmatilanteissa. Asiakasohjelmistoa ei selkeästi ole suunniteltu käytettäväksi kuin muuttumattomien salasanojen kanssa, koska käyttäjän näkökulmasta käyttökokemus ei ollut optimaalinen. Ongelmista huolimatta työn tuloksena saatiin asiakkaan vaatimukset täyttävä järjestelmä. Myös tuotekehitysnäkökulmasta projektia voitaneen pitää onnistuneena, koska nyt tehty sovellus luo pohjan uusien tunnistustapojen ja menetelmien toteuttamiselle tuotteen jatkokehitystä ajatellen.

Bio and chemocatalysis for stereo and regioselective one-pot reaction applications

The development of cost efficient, selective and sustainable chemical processes for production of chiral building blocks is of great importance in synthetic and industrial organic chemistry. One way to reach these objectives is to carry out several reactions steps in one vessel at one time. Furthermore, when this kind of one-pot multi step reactions are catalyzed by heterogeneous chemo- and bio-catalysts, which can be separated from the reaction products by filtration, practical access to chiral small molecules for further utilization can be obtained. The initial reactions studied in this thesis are the two step dynamic kinetic resolution of rac-2-hydroxy-1-indanone and the regioselective hydrogenation of 1,2-indanedione. These reactions are then combined in a new heterogeneously catalyzed one-pot reaction sequence enabling simple recovery of the catalysts by filtration, facilitating simple reaction product isolation. Conclusively, the readily available 1,2-indanedione is by the presented one-pot sequence, utilizing heterogeneous enzyme and transition metal based catalysts, transferred with high regio- and stereoselectivity to a useful chiral vicinal hydroxyl ketone structure. Additional and complementary investigation of homogeneous half-sandwich ruthenium complexes for catalyzing the epimerization of chiral secondary alcohols of five natural products containing additional non-functionalized stereocenters was conducted. In principle, this kind of epimerization reactions of single stereocenters could be utilized for converting inexpensive starting materials, containing other stereogenic centers, into diastereomeric mixtures from which more valuable compounds can be isolated by traditional isolation techniques.

Re-fitting Etton: space, time and material culture within a causewayed enclosure in Cambridgeshire

This paper considers the dynamics of deposition around and across the causewayed enclosure at Etton, Cambridgeshire. As a result of detailed re-analysis (particularly refitting) of the pottery and flint assemblages from the site, it proved possible to shed new light both on the temporality of occupation and the character of deposition there. Certain aspects of our work challenge previous interpretations of the site, and of causewayed enclosures in general; but, just as importantly, others confirm materially what has previously been suggested. The quantities of material deposited at Etton reveal that the enclosure was occupied only very intermittently and certainly less regularly than other contemporary sites in the region. The spatial distribution of material suggests that the enclosure ditch lay open for the entirety of the monument's life, but that acts of deposition generally focused on a specific part of the monument at any one time. As well as enhancing our knowledge of one particular causewayed enclosure, it is hoped that this paper – in combination with our earlier analysis of the pit site at Kilverstone – makes clear the potential that detailed material analysis has to offer in relation to our understanding of the temporality of occupation on prehistoric sites in general.

Towards execution time estimation in abstract machine-based languages

Abstract machines provide a certain separation between platformdependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the speciflc abstract machine implementation and the bytecode is left largely architecture independent. Taking advantage of this fact, we present a framework for estimating upper and lower bounds on the execution times of logic programs running on a bytecode-based abstract machine. Our approach includes a one-time, programindependent proflling stage which calculates constants or functions bounding the execution time of each abstract machine instruction. Then, a compile-time cost estimation phase, using the instruction timing information, infers expressions giving platform-dependent upper and lower bounds on actual execution time as functions of input data sizes for each program. Working at the abstract machine level makes it possible to take into account low-level issues in new architectures and platforms by just reexecuting the calibration stage instead of having to tailor the analysis for each architecture and platform. Applications of such predicted execution times include debugging/veriflcation of time properties, certiflcation of time properties in mobile code, granularity control in parallel/distributed computing, and resource-oriented specialization.

Towards execution time estimation for logic programs via static analysis and profiling

Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of the platform in order to determine the valúes of certain parameters for a given platform. These parameters calíbrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.

Reconstruction of an acoustically sound-soft obstacle from one incident field and the far field pattern

The problem considered is that of determining the shape of a plane acoustically sound-soft obstacle from the knowledge of the far-field pattern for one time-harmonic incident field. An iterative procedure is proposed based on two boundary integrals representing the incident field and the far-field pattern, respectively. Numerical examples are included which show that the procedure gives accurate numerical approximations in relatively few iterations.

COOP/WONCA Charts as a Screen for Mental Disorders in Primary Care

PURPOSE most people with mental disorders receive treatment in primary care. The charts developed by the Dartmouth Primary Care Cooperative Research Network (COOP) and the World Organization of National Colleges, Academies, and Academic Associations of General Practitioners/Family Physicians (WONCA) have not yet been evaluated as a screen for these disorders, using a structured psychiatric interview by an expert or considering diagnoses other than depression. We evaluated the validity and feasibility of the COOP/WONCA Charts as a mental disorders screen by comparing them both with other questionnaires previously validated and with the assessment of a mental health specialist using a structured diagnostic interview. METHODS We trained community health workers and nurse assistants working in a collaborative mental health care model to administer the COOP/WONCA Charts, the 20-item Self-Reporting Questionnaire (SRQ-20), and the World Health Organization Five Well-Being Index (WHO-5) to 120 primary care patients. A psychiatrist blinded to the patients' results on these questionnaires administered the SCID, or Structured Clinical Interview for the DSM-IV (Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition). RESULTS The area under the receiver operating characteristic curve was at least 0.80 for single items, a 3-item combination, and the total score of the COOP/WONCA Charts, as well as for the SRQ-20 and the WHO-5, for screening both for all mental disorders and for depressive disorders. The accuracy, sensitivity, specificity, and positive and negative predictive values of these measures ranged between 0.77 and 0.92. Community health workers and nurse assistants rated the understandability, ease of use, and clinical relevance of all 3 questionnaires as satisfactory. CONCLUSIONS One-time assessment of patients with the COOP/WONCA Charts is a valid and feasible option for screening for mental disorders by primary care teams.