Certification and Security in Inter-Organizational E-Services
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
Weiterlesen
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Weiterlesen
Data and Applications Security XXI
This book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Weiterlesen
Data and Applications Security XXI
This book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Weiterlesen
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Weiterlesen
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Weiterlesen
Future Data and Security Engineering : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020, Proceedings
This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, ...
Weiterlesen
Human Interactive Proofs
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
Weiterlesen
Information Security Practice and Experience (vol. # 3903)
his volume contains the Research Track proceedings of the Second Information Security Practice and Experience Conference ...
Weiterlesen
Information and Communications Security (vol. # 4307)
It is our great pleasure to welcome you to the Eighth International Conference on Information and Communications Security ...
Weiterlesen
Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Weiterlesen
Security and Privacy in Dynamic Environments
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Weiterlesen
Security in Communication Networks
The main topics included all technical aspects of data security, including: anonymity,authentication,blockciphers,complexity-basedcryptography,cry- ...
Weiterlesen
