{'fraction_non_alphanumeric': 0.018108651911468814, 'fraction_numerical': 0.0, 'mean_word_length': 5.72972972972973, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Information flow security in tree-manipulating processes

By enterprise workflows and web service technologies data is frequently represented in the form of XML documents. In the same time, these systems are highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. Therefore, this work describes three methods to verify information flow properties of processes manipulating tree-structured data.