Browsing by Submitted Year "2003"

Browsing by Submitted Year "2003"

Sort by: Order: Results:

  • Suresh, S. P. (2009-09-09)
    One of the central problems in the automatic verification of security protocols is that of verifying whether a given protocol leaks secrets or not. It identifies syntactic subclasses of protocols for which the secrecy ...
  • Naveen, Surendran (, 2009-09-08)
    The low energy properties of many strongly correlated electronic systems can be described by an effective theory in terms of just spin degrees of freedom. One of the simplest interacting model, Heisenberg model has been ...
  • test 4 
    test4, test4 (2009-11-06)