A demo of an approach to messaging integrity