Enabling Efficient Source and Path Verification via Probabilistic Packet Marking | IEEE Conference Publication | IEEE Xplore