MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Monotone Signatures." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Monotone Signatures  
  • by David Naccache, David Pointcheval, Christophe Tymen, Gemplus Card International, Rue Guynemer — 2002
  • Monotone Signatures [Published in P.F. Syverson, Ed., Financial Cryptography (FC '01), vol. 2339…
  • Cited by 2 (0 self)Add To MetaCart
  • Colimits of Order-Sorted Specifications  
  • by Till Mossakowski — In Recent Trends in Algebraic Development Techniques, Proc. 12th International Workshop, WADT '97
  • …@(email omitted); Abstract. We prove cocompleteness of the category of CASL signatures, of monotone signatures, of strongly…
  • Cited by 4 (1 self)Add To MetaCart
  • unknown title  
  • by David Naccache, David Pointcheval, Christophe Tymen, Gemplus Card International, Rue Guynemer
  • Monotone Signatures [Published in P.F. Syverson, Ed., Financial Cryptography (FC '01), vol. 2339…
  • Add To MetaCart
  • Cryptographic Tamper Evidence  
  • by Gene Itkis — 2003 — In Proc. of the Conf. on Computer and Communication Security
  • monotone signature schemes [NPT01], which allow the verication algorithm to be updated after an attack…
  • Cited by 5 (1 self)Add To MetaCart
  • Subsorting in CASL - CoFI Language Design Study Note  
  • by Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, Olaf Owe — 1996
  • …, regularity and local filteredness of signatures . . . . . 7 3.1.1 Monotonicity of signatures
  • Add To MetaCart
  • An Operational Semantics for FOOPS  
  • by Paulo Borba, Paulo Borba, Joseph A. Goguen, Joseph A. Goguen — 1994 — Oxford University, Computing Laboratory, Programming Research Group
  • …; ) is a poset. An order sorted signature is monotone iff the operations satisfy the following monotonicity
  • Cited by 11 (6 self)Add To MetaCart
  • Introduction to Circuits, I  
  • by Y. Nakamura, Piotr Rudnicki — 2000
  • …. For circuits over monotonic signatures we introduce notions of vertex size and vertex depth that characterize…
  • Cited by 2 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB