TY - GEN AU - Peter Denno AU - Nenad Ivezic C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 2006-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.IR.7347 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 2006 TI - Message validation with a semantic reasoning tool: ER -