EP4254868A2 - METHOD, PRODUCT, AND SYSTEM FOR ANALYZING A COMPUTER NETWORK TO IDENTIFY ATTACK PATHS USING A SOFTWARE REPRESENTATION THAT EMBODIES NETWORK CONFIGURATION AND POLICY DATA FOR SECURITY MANAGEMENT