MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Cryptographic Types." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Cryptographic Types  
  • by Dominic Duggan — 2002 — In Proc. IEEE Computer Security Foundations Workshop
  • Cryptographic Types Dominic Duggan Stevens Institute of Technology Department of Computer Science…
  • Cited by 16 (1 self)Add To MetaCart
  • Type-based distributed access control  
  • by Tom Chothia, Dominic Duggan — 2003 — In Proc. IEEE Computer Security Foundations Workshop
  • … for distributed access control. It combines a weak form of information flow control with cryptographic type casts…
  • Cited by 18 (0 self)Add To MetaCart
  • Pattern-Matching Spi-Calculus  
  • by Christian Haack, Alan Jeffrey — 2004 — In Formal Aspects in Security and Trust
  • …, 11]. Towards more complete and realistic cryptographic type systems. Type systems for interesting…
  • Cited by 8 (0 self)Add To MetaCart
  • Cryptographic system enhancements for the IBM System z9  
  • by T. W. Arnold, A. Dames, M. D. Hocker, M. D. Marik, N. A. Pellicciotti, K. Werner — 2007
  • …. The number 4764 references the model number (or machine type) of the cryptographic coprocessor card when sold…
  • Add To MetaCart
  • Access Control for Semantic Web Services  
  • by unknown authors
  • … and authentication annotations, for example, cryptographic type, to input and outputparameters to aid in selection…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB