Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components Chapter