Sanchk: an sql-based validation system for san configuration | IEEE Conference Publication | IEEE Xplore