Message Integrity Verification in SWIFT Flows Using AI-Assisted Rule Extraction and Python-based Constraint Engines | IEEE Conference Publication | IEEE Xplore