期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
Formal Specifications and Verification of a Secure Communication Protocol Model 被引量:2
1
作者 夏阳 陆余良 蒋凡 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2003年第2期90-97,共8页
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized easily and efficiently. First, the paper gives a thorough analysis of the protocol system, system... This paper presents a secure communication protocol model-EABM, by which network security communication can be realized easily and efficiently. First, the paper gives a thorough analysis of the protocol system, systematic construction and state transition of EABM. Then , it describes the channels and the process of state transition of EABM in terms of ESTELLE. At last, it offers a verification of the accuracy of the EABM model. 展开更多
关键词 protocol Model ESTELLE Extended alternating bit machine.
在线阅读 下载PDF
Research on the Computer Network Protocol Test Model based on Genetic and Random Walk Algorithm
2
作者 Ping Li 《International Journal of Technology Management》 2016年第8期39-42,共4页
In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of net... In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of network system. Fully understand and grasp of thenetwork protocols for managers is there is a big diffi cult. Network covert channel is the evaluation of intrusion detection system and fi rewallsecurity performance of an important means, the paper will start from the angle of the attacker, the fl aws of the research, and use this kind ofdefect to realize network covert channel, the random walk algorithm will be feasible for dealing with this issue. For achieving this, we integratethe genetic and random walk algorithm for systematic optimization. 展开更多
关键词 Computer Network protocol Test Model Genetic and Random Walk Algorithm.
在线阅读 下载PDF
From Function Calls to MCPs for Securing AI Agent Systems:Architecture,Challenges and Countermeasures
3
作者 WANG Wei LI Shaofeng +2 位作者 DONG Tian MENG Yan ZHU Haojin 《ZTE Communications》 2025年第3期27-37,共11页
With the widespread deployment of large language models(LLMs)in complex and multimodal scenarios,there is a growing demand for secure and standardized integration of external tools and data sources.The Model Context P... With the widespread deployment of large language models(LLMs)in complex and multimodal scenarios,there is a growing demand for secure and standardized integration of external tools and data sources.The Model Context Protocol(MCP),proposed by Anthropic in late 2024,has emerged as a promising framework.Designed to standardize the interaction between LLMs and their external environments,it serves as a“USB-C interface for AI”.While MCP has been rapidly adopted in the industry,systematic academic studies on its security implications remain scarce.This paper presents a comprehensive review of MCP from a security perspective.We begin by analyzing the architecture and workflow of MCP and identify potential security vulnerabilities across key stages including input processing,decision-making,client invocation,server response,and response generation.We then categorize and assess existing defense mechanisms.In addition,we design a real-world attack experiment to demonstrate the feasibility of tool description injection within an actual MCP environment.Based on the experimental results,we further highlight underexplored threat surfaces and propose future directions for securing AI agent systems powered by MCP.This paper aims to provide a structured reference framework for researchers and developers seeking to balance functionality and security in MCP-based systems. 展开更多
关键词 Model Context protocol(MCP) security risks agent systems
在线阅读 下载PDF
STEP AP 242 Managed Model-based 3D Engineering:An Application Towards the Automation of Fixture Planning 被引量:1
4
作者 Remil George Thomas Deepak Lawrence K. Manu R. 《International Journal of Automation and computing》 EI CSCD 2021年第5期731-746,共16页
Fixture design and planning is one of the most important manufacturing activities, playing a pivotal role in deciding the lead time for product development. Fixture design, which affects the part-quality in terms of g... Fixture design and planning is one of the most important manufacturing activities, playing a pivotal role in deciding the lead time for product development. Fixture design, which affects the part-quality in terms of geometric accuracy and surface finish, can be enhanced by using the product manufacturing information(PMI) stored in the neutral standard for the exchange of product model data(STEP) file, thereby integrating design and manufacturing. The present paper proposes a unique fixture design approach, to extract the geometry information from STEP application protocol(AP) 242 files of computer aided design(CAD) models, for providing automatic suggestions of locator positions and clamping surfaces. Automatic feature extraction software "FiXplan", developed using the programming language C#, is used to extract the part feature, dimension and geometry information. The information from the STEP AP 242 file is deduced using geometric reasoning techniques, which in turn is utilized for fixture planning. The developed software is observed to be adept in identifying the primary, secondary, and tertiary locating faces and locator position configurations of prismatic components. Structural analysis of the prismatic part under different locator positions was performed using commercial finite element method software, ABAQUS, and the optimized locator position was identified on the basis of minimum deformation of the workpiece.The area-ratio(base locator enclosed area(%)/work piece base area(%)) for the ideal locator configuration was observed as 33%. Experiments were conducted on a prismatic workpiece using a specially designed fixture, for different locator configurations. The surface roughness and waviness of the machined surfaces were analysed using an Alicona non-contact optical profilometer. The best surface characteristics were obtained for the surface machined under the ideal locator positions having an area-ratio of 33%, thus validating the predicted numerical results. The efficiency, capability and applicability of the developed software is demonstrated for the finishing operation of a sensor cover – a typical prismatic component having applications in the naval industry, under different locator configurations.The best results were obtained under the proposed ideal locator configuration of area-ratio 33%. 展开更多
关键词 Standard for the exchange of product model data(STEP)application protocol(AP)242 product manufacturing information computer-aided fixture design computer aided design(CAD)/computer aided manufacturing(CAM) AUTOMATION computer integrated manufacturing 3D surface roughness
原文传递
Designing Human-AI Orchestrated Classrooms:Mechanisms,Protocols,and Governance for Competency-Based Education
5
作者 Xin HUANG 《Artificial Intelligence Education Studies》 2025年第3期14-27,共14页
The pedagogical promise of Competency-Based Education(CBE)has been historically undermined by pro-found challenges of scalability,creating an implementation gap between its theoretical merits and practicalapplication.... The pedagogical promise of Competency-Based Education(CBE)has been historically undermined by pro-found challenges of scalability,creating an implementation gap between its theoretical merits and practicalapplication.This paper proposes a testable mechanism model wherein Artificial Intelligence(Al)enables the scaling of CBE through three interconnected pathways-diagnostic tracking,adaptive supply,and teacher or-chestration-formalized within a distributed cognition framework.To operationalize this model,this paper in-troduces novel constructs including the"Adaptive-Autonomy Curve"for systematically cultivating self-regulated learning in personalized environments,and a"Situated Performance-Based Assessment Pipeline"for authentic,scalable evaluation of complex skills.The primary contributions of this work are fourfold:first,it provides a rigorous conceptual taxonomy that delineates CBE from adjacent paradigms such as mastery learning and per-sonalized learning;second,it advances a set of falsifiable propositions to guide future empirical research;third,it formalizes the human-Al pedagogical relationship with operational design principles;and fourth,it presents an integrated governance and interoperability protocol for the responsible and effective implementation of Al in competency-based systems. 展开更多
关键词 competency-based education(CBE) human AI orchestration adaptive-autonomy curve(self-regulatedl learning) situated performance-based assessment governance&interoperability protocols(shared student model)
在线阅读 下载PDF
VASPilot:MCP-facilitated multi-agent intelligence for autonomous VASP simulations
6
作者 Jiaxuan Liu Tiannian Zhu +3 位作者 Caiyuan Ye Zhong Fang Hongming Weng Quansheng Wu 《Chinese Physics B》 2025年第11期131-137,共7页
Density-functional-theory(DFT)simulations with the Vienna Ab initio Simulation Package(VASP)are indispensable in computational materials science but often require extensive manual setup,monitoring,and postprocessing.H... Density-functional-theory(DFT)simulations with the Vienna Ab initio Simulation Package(VASP)are indispensable in computational materials science but often require extensive manual setup,monitoring,and postprocessing.Here,we introduce VASPilot,an open-source platform that fully automates VASP workflows via a multi-agent architecture built on the CrewAI framework and a standardized model context protocol(MCP).VASPilot’s agent suite handles every stage of a VASP study from retrieving crystal structures and generating input files to submitting Slurm jobs,parsing error messages,and dynamically adjusting parameters for seamless restarts.A lightweight Quart-based web interface provides intuitive task submission,real-time progress tracking,and drill-down access to execution logs,structure visualizations,and plots.We validated VASPilot on both routine and advanced benchmarks:automated band-structure and density-of-states calculations(including on-the-fly symmetry corrections),plane-wave cutoff convergence tests,lattice-constant optimizations with various van der Waals corrections,and cross-material band-gap comparisons for transition-metal dichalcogenides.In all cases,VASPilot completed the missions reliably and without manual intervention.Moreover,its modular design allows easy extension to other DFT codes simply by deploying the appropriate MCP server.By offloading technical overhead,VASPilot enables researchers to focus on scientific discovery and accelerates high-throughput computational materials research. 展开更多
关键词 VASP agent model context protocol(MCP) VASPilot
原文传递
Architecting a National AI Talent Ecosystem:A Systematic Scoping Review of Strategies for Education,Innovation,and Governance
7
作者 Yanlin CHEN 《Artificial Intelligence Education Studies》 2025年第3期28-42,共15页
This paper addresses the critical need for a holistic,evidence-based national strategy to cultivate a world-class artificial intelligence(Al)talent pool.As Al reshapes global economies,labor markets,and the geopolitic... This paper addresses the critical need for a holistic,evidence-based national strategy to cultivate a world-class artificial intelligence(Al)talent pool.As Al reshapes global economies,labor markets,and the geopolitical land-scape,national competitiveness hinges on the ability to develop,attract,and retain Al expertise.Employing a systematic scoping review methodology,this study synthesizes evidence from academic literature,government policy documents,and industry white papers to construct an integrated strategic blueprint.The analysis decon-structs the core components of a comprehensive talent development policy,proposing a multi-pillar framework that integrates a lifelong learning continuum,a differentiated talent pipeline architecture,synergistic public-private enablers,and modernized evaluation paradigms.Through a comparative analysis of divergent nationalstrategies-including the market-driven model of the United States,the governance-first approach of the Eu-ropean Union,and the state-directed models of India,Singapore,the United Arab Emirates,and Canada-this paper illuminates the trade-offs between different philosophical and tactical choices.Key findings reveal the heterogeneous nature of Al's impact on labor,the centrality of public trust as a prerequisite for adoption,and a necessary paradigm shift from credential-based to competency-based talent evaluation.The proposed blueprint,which introduces a novel"Builder-Bridger"talent model,offers a comprehensive,actionable guide for policymakers and academic leaders aiming to build a sustainable and globally competitive national Al talent base capable of navigating the complexities of the Al era. 展开更多
关键词 competency-based education(CBE) human Al orchestration adaptive-autonomy curve(self-regulated learning) situated performance-based assessment governance&interoperability protocols(shared student model)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部