Security for Future Software Defined Mobile Networks
An assertion language for debugging SDN applications