Sortiert nach
IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
- Link zum Volltext
Lecture notes in computer science, 2005, p.222-241
2005
Link zum Volltext
Information Security and Cryptology, 2005, p.63-74
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.85-103
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.65-84
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.112-126
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.6-23
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.81-95
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.434-453
2005
Link zum Volltext
Formal Aspects of Security, 2003, p.97-114
2003
Link zum Volltext
Theoretical computer science, 1995-02, Vol.138 (2), p.243-271
1995
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.158-170
2006
Link zum Volltext
Information and computation, 1995-02, Vol.116 (2), p.193-213
1995
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.5-15
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.104-123
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.244-257
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.45-64
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.63-80
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.217-234
2006
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.171-186
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.242-261
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.24-44
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.319-333
2005
Link zum Volltext
Formal aspects of computing, 2000-11, Vol.12 (3), p.165-181
2000
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.235-243
2006
Link zum Volltext
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
- Csp
- Parallel Composition
Kollektion
- IngentaConnect
- Springer Book Series
- IngentaConnect Journals
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore Digital Library
Zeitschrift / Serie