Sciweavers

DM
2008
55views more  DM 2008»
13 years 11 months ago
Rank functions of strict cg-matroids
A matroid-like structure defined on a convex geometry, called a cg-matroid, is defined by S. Fujishige, G. A. Koshevoy, and Y. Sano in [9]. A cg-matroid whose rank function is nat...
Yoshio Sano
CSFW
2002
IEEE
14 years 4 months ago
Strand Spaces and Rank Functions: More than Distant Cousins
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
James Heather