Text this: Security analysis of security protocol Swift implementations based on computational model