haku: @instructor Ylä-Jääski, Antti / yhteensä: 30
hakutulos-lista
viite: 29 / 30
« edellinen | seuraava »
Tekijä:Yao, Yanjun
Työn nimi:Automated security proofs of secret shared protocols
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2008
Sivut:7 + 56 s. + liitt. 4 s.      Kieli:   eng
Koulu/Laitos/Osasto:Informaatio- ja luonnontieteiden tiedekunta
Oppiaine:Tietokoneverkot   (T-110)
Valvoja:Ylä-Jääski, Antti ; Willemson, Jan
Ohjaaja:Ylä-Jääski, Antti
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:secret sharing schemes
multiparty computation
universal compostision
automated security proofs
Tiivistelmä (eng): The data, which contain the personal, medical and financial information of the data donors, are classified as sensitive.
It is required that only the authorized organizations have the right to process the sensitive data.
However, nowadays, the extensive implementation of online information systems not only makes the use of data more convenient, but also provides an easier way to abuse the data.
Hence, a lot of research organizations have proposed their methods for processing the sensitive data without compromising the privacy of individuals.

In our thesis, we address the proof method on a specific infrastructure proposed by Dan Bogdanov.
In his thesis, he considers protecting the sensitive data as a multiparty computation task.
He also proposes several secret shared protocols for computing the data without leaking the privacy of any person under the assumption that only few participants can be corrupt.
Our goal is to devise a method, which can automatically prove that in all secret shared protocols no party can figure out more information than he should.

In this thesis, we present a framework for analyzing the security of secret shared protocols.
The result of our solution is the implementation software called AutoProver, which can automatically prove the security of the secret shared protocols.
Our solution is based on the theory that a real world protocol securely emulates an ideal functionality if for any real world adversary there exists a simulator in the ideal world that the real world adversary can not distinguish if it is communicating with the protocol or the simulator.
ED:2008-10-06
INSSI tietueen numero: 36386
+ lisää koriin
« edellinen | seuraava »
INSSI