180 search results - page 23 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
111
click to vote
DBSEC
2000
15 years 1 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...
112
click to vote
JUCS
2006
14 years 11 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
ROBOTICA
2006
14 years 11 months ago
2006
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
118
click to vote
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Multimedia applications communicating over a next generation VPN architecture that allows selective encryption can leverage the security properties of a VPN with its performanc...