Building trust in 3PIP using asset-based security property verification | IEEE Conference Publication | IEEE Xplore