acknowledgements

Alloy is the product of a research project funded by the National Science Foundation under Grant Nos. 0325283, 0541183, 0438897 and 0707612; by the Air Force Research Laboratory (AFRL/IF) and the Disruptive Technology Office (DTO) in the National Intelligence Community Information Assurance Research (NICIAR) Program; and by the Nokia Corporation as part of a collaboration between Nokia Research and MIT CSAIL.