„coding system“

Suchergebnisse

3.172 Treffer

• Preface to the special issue on Security in global computing
  Priami, Corrado
• Using ambients to control resources
  Teller, David ; Zimmer, Pascal ; Hirschkoff, Daniel
• A calculus for control flow analysis of security protocols
  Buchholtz, Mikael ; Riis Nielson, Hanne ; Nielson, Flemming
• Stack inspection and secure program transformations
  Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi
• Two-party generation of DSA signatures
  MacKenzie, Philip ; Reiter, Michael K.
• Certificate revocation system implementation based on the Merkle hash tree
  Muñoz, Jose L. ; Forne, Jordi ; Esparza, Oscar ; Soriano, Miguel
• Preface to the special issue on PKI
  Dawson, E.
• All sail, no anchor II: Acceptable high-end PKI
  Blakley, B. ; Blakley, G.R
• PKI design based on the use of on-line certification authorities
  Lopez, Javier ; Maña, Antonio ; Montenegro, Jose A. ; Ortega, Juan J.
• Theory and benefits of recursive certificate structures
  Russell, Selwyn
• Generating visible RSA public keys for PKI
  Laih, C.S ; Chen, K.Y
• Edit automata: enforcement mechanisms for run-time security policies
  Ligatti, Jay ; Bauer, Lujo ; Walker, David
• Static use-based object confinement
  Skalka, Christian ; Smith, Scott
• Rigorous automated network security management
  Guttman, Joshua D. ; Herzog, Amy L.
• An overview of the verification of SET
  Bella, Giampaolo ; Massacci, Fabio ; Paulson, Lawrence C.
• Game strategies in network security
  Lye, Kong-wei ; Wing, Jeannette M.
• Detection of file-based race conditions
  Lhee, Kyung-suk ; Chapin, Steve J.
• On the sequence of authorization policy transformations
  Bai, Yun ; Zhang, Yan ; Varadharajan, Vijay
• Preface to the special issue on ESORICS 2003
  Snekkenes, Einar
• Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library
  Backes, Michael ; Pfitzmann, Birgit ; Waidner, Michael