Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures