Formal Construction of Secure Information Transmission in Office Automation System

This paper mainly studies formal construction of secure information transmission in Office Automation system. With a comprehensive analysis on security requirements in Office Automation system, the processes of information transmission can be divided into two types: user-to-server and user-to-user....

Full description

Saved in:
Bibliographic Details
Published inWeb Information Systems and Mining pp. 291 - 298
Main Authors Li, Xiaole, Nie, Lianggang, Yin, Jianrong, Lu, Yuanlu
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
formal construction
information transmission
Office Automation
symmetric key cryptosystem
Online AccessGet full text

Cover

More Information
Summary:This paper mainly studies formal construction of secure information transmission in Office Automation system. With a comprehensive analysis on security requirements in Office Automation system, the processes of information transmission can be divided into two types: user-to-server and user-to-user. Based on this, the formal processes of secure information transmission are constructed with composition method in symmetric key cryptosystem. The formal analysis shows that secrecy, integrity, availability and identifiability of information during transmission could be insured by this construction, which could be used as a direction for development of other various application systems in digital campus, from the viewpoint of information security.
ISBN:9783642334689
3642334687
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-33469-6_39