Text this: Runtime verification approach for DoS attack detection in edge servers