UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow

Java on Smart Cards:Programming and Security, 2001, p.25-37

2001

Volltextzugriff (PDF)

A case study in JML-based software validation

Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004, 2004, p.294-297

2004

Volltextzugriff (PDF)

Formal Proof of Smart Card Applets Correctness

Lecture notes in computer science, 2000, p.85-97

2000

Volltextzugriff (PDF)

Identification of thyroglobulin domain(s) involved in cell-surface binding and endocytosis

Journal of endocrinology, 2001-07, Vol.170 (1), p.217-226

2001

Volltextzugriff (PDF)

A propos de l'évolution de l'emploi et de la formation dans l'industrie pharmaceutique

Annales pharmaceutiques françaises, 1994, Vol.52 (2), p.110-112

1994

Volltextzugriff (PDF)

Checking Secure Interactions of Smart Card Applets

Computer Security - ESORICS 2000, 2000, p.1-16

2000

Volltextzugriff (PDF)

Role of Heme in Intracellular Trafficking of Thyroperoxidase and Involvement of H2O2 Generated at the Apical Surface of Thyroid Cells in Autocatalytic Covalent Heme Binding

The Journal of biological chemistry, 1999-04, Vol.274 (15), p.10533-10538

1999

Volltextzugriff (PDF)

Hot updates for Java based smart cards

2011 IEEE 27th International Conference on Data Engineering Workshops, 2011, p.168-173

2011

Volltextzugriff (PDF)

FACADE: a typed intermediate language dedicated to smart cards

Lecture notes in computer science, 1999, p.476-493

1999

Volltextzugriff (PDF)

Java Applet Correctness: A Developer-Oriented Approach

FME 2003: Formal Methods, 2003, p.422-439

2003

Volltextzugriff (PDF)

Degradation of Human Thyroperoxidase in the Endoplasmic Reticulum Involves Two Different Pathways Depending on the Folding State of the Protein

The Journal of biological chemistry, 2000-05, Vol.275 (21), p.15948-15954

2000

Volltextzugriff (PDF)

Human Thyroperoxidase Is Largely Retained and Rapidly Degraded in the Endoplasmic Reticulum. Its N-Glycans Are Required for Folding and Intracellular Trafficking

Endocrinology (Philadelphia), 1998-10, Vol.139 (10), p.4277-4285

1998

Volltextzugriff (PDF)

Calnexin and calreticulin binding to human thyroperoxidase is required for its first folding step(s) but is not sufficient to promote efficient cell surface expression

Endocrinology (Philadelphia), 2000-03, Vol.141 (3), p.959-966

2000

Volltextzugriff (PDF)

Human Thyroperoxidase in Its Alternatively Spliced Form (TPO2) Is Enzymatically Inactive and Exhibits Changes in Intracellular Processing and Trafficking

The Journal of biological chemistry, 1997-11, Vol.272 (47), p.29487-29492

1997

Volltextzugriff (PDF)

Association of the thyrotropin receptor with calnexin, calreticulin and BiP

European journal of biochemistry, 2002-10, Vol.269 (20), p.4930-4937

2002

Volltextzugriff (PDF)

Electronic Purse Applet Certification: extended abstract

Electronic notes in theoretical computer science, 2000, Vol.32, p.14-25

2000

Volltextzugriff (PDF)

Attacks against smart cards: Hands on session

2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), 2012, p.1-5

Lanet, J.

2012

Volltextzugriff (PDF)

Binding and Internalization of Thyroglobulin: Selectivity, pH Dependence, and Lack of Tissue Specificity

Endocrinology (Philadelphia), 1997-06, Vol.138 (6), p.2325-2332

1997

Volltextzugriff (PDF)

Apropos of the evolution of jobs and training in the pharmaceutical industry

Annales pharmaceutiques françaises, 1994, Vol.52 (2), p.110-112

1994

Volltextzugriff (PDF)

Checking secure interactions of smart card applets: extended version1

Journal of computer security, 2002-10, Vol.10 (4), p.369-398

2002

Volltextzugriff (PDF)

SmartCM a smart card fault injection simulator

2011 IEEE International Workshop on Information Forensics and Security, 2011, p.1-6

2011

Volltextzugriff (PDF)

Automatic Generation of Vulnerability Tests for the Java Card Byte Code Verifier

2011 Conference on Network and Information Systems Security, 2011, p.1-7

2011

Volltextzugriff (PDF)

Soluble proteins of the seed of gourd (Cucurbita maxima Duch.)

Annales pharmaceutiques françaises, 1970-02, Vol.28 (2), p.99-108

1970

Volltextzugriff (PDF)

Analysis Vulnerabilities in Smart Card Web Server

2011 Conference on Network and Information Systems Security, 2011, p.1-5

2011

Volltextzugriff (PDF)

Are Smart Cards the Ideal Domain for Applying Formal Methods?

Lecture notes in computer science, 2000, Vol.1878, p.363-373

2000

Volltextzugriff (PDF)

1 – 25 von 103

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(78)
Mit Volltextzugriff
(88)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(64)
Computer Science
(49)
Technology
(48)
Computer Science, Theory & Methods
(47)
Computer Science, Information Systems
(26)
Computer Science, Software Engineering
(24)
Computer Science, Artificial Intelligence
(16)
Computer Science, Hardware & Architecture
(15)
Life Sciences & Biomedicine
(15)
Digital Libraries
(13)
Humans
(13)
Animals
(12)
Life Sciences
(11)
Smart Card
(10)
Applied Sciences
(8)
Computer Science; Control Theory; Systems
(8)
Exact Sciences And Technology
(8)
Cryptography And Security
(7)
Java
(7)
Smart Cards
(7)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow

A case study in JML-based software validation

Formal Proof of Smart Card Applets Correctness

Identification of thyroglobulin domain(s) involved in cell-surface binding and endocytosis

A propos de l'évolution de l'emploi et de la formation dans l'industrie pharmaceutique

Checking Secure Interactions of Smart Card Applets

Role of Heme in Intracellular Trafficking of Thyroperoxidase and Involvement of H2O2 Generated at the Apical Surface of Thyroid Cells in Autocatalytic Covalent Heme Binding

Hot updates for Java based smart cards

FACADE: a typed intermediate language dedicated to smart cards

Java Applet Correctness: A Developer-Oriented Approach

Degradation of Human Thyroperoxidase in the Endoplasmic Reticulum Involves Two Different Pathways Depending on the Folding State of the Protein

Human Thyroperoxidase Is Largely Retained and Rapidly Degraded in the Endoplasmic Reticulum. Its N-Glycans Are Required for Folding and Intracellular Trafficking

Calnexin and calreticulin binding to human thyroperoxidase is required for its first folding step(s) but is not sufficient to promote efficient cell surface expression

Human Thyroperoxidase in Its Alternatively Spliced Form (TPO2) Is Enzymatically Inactive and Exhibits Changes in Intracellular Processing and Trafficking

Association of the thyrotropin receptor with calnexin, calreticulin and BiP

Electronic Purse Applet Certification: extended abstract

Attacks against smart cards: Hands on session

Binding and Internalization of Thyroglobulin: Selectivity, pH Dependence, and Lack of Tissue Specificity

Apropos of the evolution of jobs and training in the pharmaceutical industry

Checking secure interactions of smart card applets: extended version1

SmartCM a smart card fault injection simulator

Automatic Generation of Vulnerability Tests for the Java Card Byte Code Verifier

Soluble proteins of the seed of gourd (Cucurbita maxima Duch.)

Analysis Vulnerabilities in Smart Card Web Server

Are Smart Cards the Ideal Domain for Applying Formal Methods?

Suchergebnisse filtern