Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  A Calculus for Secure Mobility

Blanchet, B., & Aziz, B. (2003). A Calculus for Secure Mobility. In V. Saraswat (Ed.), Advances in computing science, ASIAN 2003: programming languages and distributed computation; 8th Asian Computing Science Conference (ASIAN'03) (pp. 188-204). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2E97-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2E98-A
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Blanchet, Bruno1, Autor           
Aziz, Benjamin, Autor
Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper, we introduce the crypto-loc calculus, a calculus for modelling secure mobile computations that combine the concepts of locations, cryptography, and code mobility. All these concepts exist in mobile systems, for example, Java applets run within sandboxes or downloaded under an SSL connection. We use observational equivalence of processes as a powerful means of defining security properties, and characterize observational equivalence in terms of a labelled bisimilarity relation, which makes its proof much easier.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2005-02-222003
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 520659
Anderer: Local-ID: C1256BDD001D715B-5D043EC381457603C1256DCD004C8D60-BlanchetAziz2003
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Mumbai, India
Start-/Enddatum: 2003-12-10 - 2003-12-13

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Advances in computing science, ASIAN 2003 : programming languages and distributed computation ; 8th Asian Computing Science Conference (ASIAN'03)
Genre der Quelle: Konferenzband
 Urheber:
Saraswat, Vijay, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 188 - 204 Identifikator: ISBN: 3-540-20632-9

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -