„Data Encryption.“

Suchergebnisse

7.742 Treffer

• 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
• Analyzing SLE 88 memory management security using Interacting State Machines
  von Oheimb, David ; Lotz, Volkmar ; Walter, Georg
• Passive-attack analysis for connection-based anonymity systems
  Serjantov, Andrei ; Sewell, Peter
• Techniques for improving the security and manageability of IPsec policy
  Trostle, Jonathan ; Gossman, Bill
• Protocols useful on the Internet from distributed signature schemes
  Daza, Vanesa ; Herranz, Javier ; Sáez, Germán
• A framework for secure execution of software
  Maña, Antonio ; Lopez, Javier ; Ortega, Juan J. ; Pimentel, Ernesto ; Troya, Jose M.
• A graph-theoretical model of computer security – From file sharing to social engineering
  Burgess, Mark ; Canright, Geoffrey ; Engø-Monsen, Kenth
• The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves
  Hitchcock, Yvonne ; Montague, Paul ; Carter, Gary ; Dawson, Ed
• A distributed digital rights management model for secure information-distribution systems
  Abie, Habtamu ; Spilling, Pål ; Foyn, Bent
• Outbound authentication for programmable secure coprocessors
  Smith, Sean W.
• Controlled query evaluation for enforcing confidentiality in complete information systems
  Biskup, Joachim ; Bonatti, Piero
• Computational probabilistic noninterference
  Backes, Michael ; Pfitzmann, Birgit