שליחה במסרון: Verification Across Intellectual Property Boundaries.