Verified Formal Security Models for Multiapplicative Smart Cards

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll. Verified Formal Security Models for Multiapplicative Smart Cards. Journal of Computer Security, 10(4):339-368, 2002.

Authors

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google

Axel Schairer

This author has not been identified. Look up 'Axel Schairer' in Google

Paul A. Karger

This author has not been identified. Look up 'Paul A. Karger' in Google

Vernon Austel

This author has not been identified. Look up 'Vernon Austel' in Google

David C. Toll

This author has not been identified. Look up 'David C. Toll' in Google