Synthesis of trustworthy protocol specifications from service specifications
作者： Kassem Saleh , UNITED ARAB EMIRATES
DOI:
关键词:
摘要: A trustworthy protocol specification is a of system communicating entities that meets the security and privacy requirements services to be provided. In this paper, we extend an existing synthesis technique introduced earlier by author [1] include trustworthiness starting from these at service level. Both required synthesized specifications are specified using finite state machine model. The application proposed given also presented.
researchgate.net 参考文章(8)
John D. Couch, William A. Barrett, Compiler Construction: Theory and Practice ,(1979)
Herbert J. Mattord, Michael E. Whitman, Principles of Information Security ,(2002)
Charles P. Pfleeger, Security in Computing ,(1988)
R.L. Probert, K. Saleh, Synthesis of communication protocols: survey and assessment IEEE Transactions on Computers. ,vol. 40, pp. 468- 476 ,(1991) , 10.1109/12.88466
Donald Firesmith, Engineering Security Requirements The Journal of Object Technology. ,vol. 2, pp. 53- 68 ,(2003) , 10.5381/JOT.2003.2.1.C6
K. Saleh, Testability-directed service definitions and their synthesis annual conference on computers. pp. 674- 678 ,(1992) , 10.1109/PCCC.1992.200524
K. Saleh, R. Probert, Automatic synthesis of protocol specifications from service specifications international phoenix conference on computers and communications. pp. 615- 621 ,(1991) , 10.1109/PCCC.1991.113871
Kassem Saleh, Synthesis of communications protocols ACM SIGCOMM Computer Communication Review. ,vol. 26, pp. 40- 59 ,(1996) , 10.1145/242896.242900