Formal Analysis of the VPN Service Management System

机译：VPN服务管理系统的形式分析

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper applies a formalization of the use of UML to the VPN service management system. An approach that supports a use case-driven, step-wised and incremental development in building models for the VPN service management system is studied in detail. T

机译：本文将UML的使用形式化应用于VPN服务管理系统。详细研究了一种在VPN服务管理系统的构建模型中支持用例驱动，逐步和增量开发的方法。 Ť

著录项

来源
《Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2007 Eighth International Conference on》|2007年|P.493-498|共6页
会议地点 Adelaide SAAustralia
作者
Sun Wenhui; Liu Feng; Dai Gang; Zhang Jinyu;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Unified Modeling Language; computer network management; virtual private networks; UML; VPN service management system; formal analysis; formalization feasibility; virtual private network;

机译：统一建模语言；计算机网络管理；虚拟专用网； UML; VPN服务管理系统；形式分析；形式化可行性；虚拟专用网;

相似文献

外文文献
中文文献
专利

1. A cloud services recommendation system based on Fuzzy Formal Concept Analysis [J] . Haithem Mezni, Taher Abdeljaoued Data & Knowledge Engineering . 2018,第JULa期

机译：基于模糊形式概念分析的云服务推荐系统
2. Formal modelling and analysis of XML firewall for service-oriented systems [J] . Haiping Xu, Mihir Ayachit, Abhinay Reddyreddy International Journal of Security and Networks . 2008,第3期

机译：面向服务系统的XML防火墙的形式化建模和分析
3. Formal modeling and verification of a service composition approach in the social customer relationship management system [J] . Souri Alireza, Rahmani Amir Masoud, Navimipour Nima Jafari, Information technology & people . 2019,第6期

机译：社交客户关系管理系统中服务组合方法的正式建模和验证
4. Formal Analysis of the VPN Service Management System [C] . Sun Wenhui, Liu Feng, Dai Gang, International Conference on Parallel and Distributed Computing, Applications and Technologies . 2007

机译：VPN服务管理系统的正式分析
5. AN ANALYSIS OF THE APPLICATION OF MANAGEMENT BY OBJECTIVES IN SELECTED SCHOOL SYSTEMS OF COOK COUNTY, ILLINOIS, BASED UPON SIX PRINCIPLES ESTABLISHED BY PETER DRUCKER FOR THE MANAGEMENT OF SERVICE INSTITUTIONS FOR PERFORMANCE. [D] . OLCESE, ROBERT LOUIS. 1979

机译：基于PETER DRUCKER建立的六个原则对服务机构进行绩效管理的伊利诺伊州库克县所选学校系统中目标管理的应用分析。
6. Health Services Use and Health Outcomes among Informal Economy Workers Compared with Formal Economy Workers: A Systematic Review and Meta-Analysis [O] . Nisha Naicker, Frank Pega, David Rees, 2021

机译：与正规经济工作者相比非正式经济工作者的卫生服务和健康结果：系统审查和荟萃分析
7. An Integrated Service and Network Management System for MPLS Traffic Engineering and VPN Services [O] . Changhoon Kim, Taesang Choi, Taesoo Jeong, 2011

机译：MPLS流量工程和VPN服务的集成服务和网络管理系统

Formal Analysis of the VPN Service Management System

摘要

著录项

相似文献

相关主题

期刊订阅