Sortiert nach
IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.222-241
2005
Volltextzugriff (PDF)
Information Security and Cryptology, 2005, p.63-74
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.85-103
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.65-84
2005
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.112-126
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.6-23
2005
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.81-95
2006
Volltextzugriff (PDF)
Formal Aspects of Security, 2003, p.115-132
2003
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.47-62
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.434-453
2005
Volltextzugriff (PDF)
Formal Aspects of Security, 2003, p.97-114
2003
Volltextzugriff (PDF)
Theoretical computer science, 1995-02, Vol.138 (2), p.243-271
1995
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.158-170
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.472-492
2005
Volltextzugriff (PDF)
Information and computation, 1995-02, Vol.116 (2), p.193-213
1995
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.5-15
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.104-123
2005
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.244-257
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.45-64
2005
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.217-234
2006
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.171-186
2006
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2006, p.63-80
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.242-261
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.319-333
2005
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Memory And File Management
- Memory Organisation. Data Processing
- Computer Systems And Distributed Systems. User Interface
- Artificial Intelligence
- Pattern Recognition. Digital Image Processing. Computational Geometry
- Speech And Sound Recognition And Synthesis. Linguistics
- Authentication Protocol
- Security Policy
- Cryptographic Protocol
- Proof Obligation
- Security Protocol
Kollektion
Zeitschrift / Serie