{"id":{"repo_id":"ottawa-retro","oai_identifier":"oai:ruor.uottawa.ca:10393/6529"},"canonical_url":"https://search.dev.ndltd.org/etd/ottawa-retro/oai:ruor.uottawa.ca:10393/6529","repository":{"repo_id":"ottawa-retro","name":"University of Ottawa","base_url":"https://ruor.uottawa.ca/server/oai/request"},"display":{"title":"Improving the security services of the message handling systems in X.400.","abstract":"This thesis studies some security problems in the X.400 Message Handling System (MHS). It focuses on the so-called message-token, a cryptological data structure, used to convey the security-related information and support several basic security services in X.400 MHS. The current X.400 message-token which conforms to the X.509 one-way authentication protocol cannot protect X.400 messages from the attack of impersonation. An exisiting solution in terms of the one-way authentication protocol still cannot solve this problem when it is applied as a message-token in MHS. This thesis develops three new message-tokens for solving the problem. Correctness of the new message-tokens is proved by means of the authentication logic, a formal analysis technique for checking if authentication protocols are able to achieve their goals. Through the study, some weaknesses have been found in the postulates known as the Hash-Function Rules. New Hash-Function Rules are proposed for improving the authentication logic. The newly proposed message-tokens are proved to be capable of ensuring the integrity and originality of the conveyed information and thus prevent the impersonation threat for X.400 messages.","abstract_html":"This thesis studies some security problems in the X.400 Message Handling System (MHS). It focuses on the so-called message-token, a cryptological data structure, used to convey the security-related information and support several basic security services in X.400 MHS. The current X.400 message-token which conforms to the X.509 one-way authentication protocol cannot protect X.400 messages from the attack of impersonation. An exisiting solution in terms of the one-way authentication protocol still cannot solve this problem when it is applied as a message-token in MHS. This thesis develops three new message-tokens for solving the problem. Correctness of the new message-tokens is proved by means of the authentication logic, a formal analysis technique for checking if authentication protocols are able to achieve their goals. Through the study, some weaknesses have been found in the postulates known as the Hash-Function Rules. New Hash-Function Rules are proposed for improving the authentication logic. The newly proposed message-tokens are proved to be capable of ensuring the integrity and originality of the conveyed information and thus prevent the impersonation threat for X.400 messages.","abstract_has_math":false,"creators":["Liu, Jingsong."],"institution":"University of Ottawa (Canada)","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Cheung, To-Yat,"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009-03-23T14:12:36Z","date_published":"2009-03-23T14:12:36Z","updated_at":"2026-07-24T03:39:32Z","subjects":["Computer Science."],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["Source: Masters Abstracts International, Volume: 34-02, page: 0789.","9780612004818","http://dx.doi.org/10.20381/ruor-14882"],"render_values":[{"text":"Source: Masters Abstracts International, Volume: 34-02, page: 0789.","href":null,"code":true},{"text":"9780612004818","href":null,"code":true},{"text":"http://dx.doi.org/10.20381/ruor-14882","href":"http://dx.doi.org/10.20381/ruor-14882","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10393/6529","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Cheung, To-Yat,"]},{"key":"dc:creator","label":"Author","values":["Liu, Jingsong."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2009-03-23T14:12:36Z","1994"]},{"key":"dc:publisher","label":"Institution","values":["University of Ottawa (Canada)"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["Source: Masters Abstracts International, Volume: 34-02, page: 0789.","9780612004818","http://hdl.handle.net/10393/6529","http://dx.doi.org/10.20381/ruor-14882"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis studies some security problems in the X.400 Message Handling System (MHS). It focuses on the so-called message-token, a cryptological data structure, used to convey the security-related information and support several basic security services in X.400 MHS. The current X.400 message-token which conforms to the X.509 one-way authentication protocol cannot protect X.400 messages from the attack of impersonation. An exisiting solution in terms of the one-way authentication protocol still cannot solve this problem when it is applied as a message-token in MHS. This thesis develops three new message-tokens for solving the problem. Correctness of the new message-tokens is proved by means of the authentication logic, a formal analysis technique for checking if authentication protocols are able to achieve their goals. Through the study, some weaknesses have been found in the postulates known as the Hash-Function Rules. New Hash-Function Rules are proposed for improving the authentication logic. The newly proposed message-tokens are proved to be capable of ensuring the integrity and originality of the conveyed information and thus prevent the impersonation threat for X.400 messages."]},{"key":"dc:format","label":"Dc Format","values":["91 p.","application/pdf"]},{"key":"dc:title","label":"Title","values":["Improving the security services of the message handling systems in X.400."]}]}],"canonical_facts":{"dc:contributor":["Cheung, To-Yat,"],"dc:creator":["Liu, Jingsong."],"dc:date":["2009-03-23T14:12:36Z","1994"],"dc:description":["This thesis studies some security problems in the X.400 Message Handling System (MHS). It focuses on the so-called message-token, a cryptological data structure, used to convey the security-related information and support several basic security services in X.400 MHS. The current X.400 message-token which conforms to the X.509 one-way authentication protocol cannot protect X.400 messages from the attack of impersonation. An exisiting solution in terms of the one-way authentication protocol still cannot solve this problem when it is applied as a message-token in MHS. This thesis develops three new message-tokens for solving the problem. Correctness of the new message-tokens is proved by means of the authentication logic, a formal analysis technique for checking if authentication protocols are able to achieve their goals. Through the study, some weaknesses have been found in the postulates known as the Hash-Function Rules. New Hash-Function Rules are proposed for improving the authentication logic. The newly proposed message-tokens are proved to be capable of ensuring the integrity and originality of the conveyed information and thus prevent the impersonation threat for X.400 messages."],"dc:format":["91 p.","application/pdf"],"dc:identifier":["Source: Masters Abstracts International, Volume: 34-02, page: 0789.","9780612004818","http://hdl.handle.net/10393/6529","http://dx.doi.org/10.20381/ruor-14882"],"dc:publisher":["University of Ottawa (Canada)"],"dc:subject":["Computer Science."],"dc:title":["Improving the security services of the message handling systems in X.400."],"dc:type":["Thesis"]},"updated_at":"2026-07-24T03:39:32Z"}