Poster: Agent-based (BDI) modeling for automation of penetration testing | IEEE Conference Publication | IEEE Xplore