631 search results - page 4 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
SIAMSC
2008
13 years 7 months ago
2008
Strong stability-preserving (SSP) Runge
CCS
2008
ACM
13 years 9 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...
SIAMDM
2010
13 years 5 months ago
2010
A connected graph G is called t-perfect if its stable set polytope is determined by the non-negativity, edge and odd-cycle inequalities. Moreover, G is called strongly t-perfect i...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
PVLDB
2010
13 years 6 months ago
2010
The tremendous growth of the Internet has significantly reduced the cost of obtaining and sharing information about individuals, raising many concerns about user privacy. Spatial...