Amanote Research

Amanote Research

    RegisterSign In

A Formal Model of Identity Mixer

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15898-8_13
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2010

Authors
Jan CamenischSebastian MödersheimDieter Sommer
Publisher

Springer Berlin Heidelberg


Related search

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

A Formal Model of Data Privacy

English

A Verified Formal Model of a VC Generator

2006 30th Annual IEEE/NASA Software Engineering Workshop
2006English

Ego Identity Status, Formal Operations, and Moral Development

Journal of Youth and Adolescence
DevelopmentalEducationSocial SciencesEducational PsychologySocial Psychology
1980English

Specifications for the Model 42 Snow Mixer

1963English

Developing a Formal Model of Argumentation-Based Dialogue

2016English

A Formal Model of the Software Test Process

IEEE Transactions on Software Engineering
Software
2002English

A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Formal Language Model of DNA Polymerase Enzymatic Activity

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy