相关期刊:《Science China(Information Sciences)》《Journal of Systems Engineering and Electronics》《International Journal of Modeling, Simulation, and Scientific Computing》《Frontiers of Computer Science》更多>>
Microservices have revolutionized traditional software architecture. While monolithic designs continue to be common, particularly in legacy applications, there is a growing trend towards the modularity, independent de...
the National Natural Science Foundation of China(61273198).
Recently,the ontological metamodel plays an increasingly important role to specify systems in two forms:ontology and metamodel.Ontology is a descriptive model representing reality by a set of concepts,their interrelat...
the National Key R&D Program of China (2017YFB0802000);the National Natural Science Foundations of China (Grant Nos. 61472309, 61672412);the National Cryptography Development Fund (MMJJ20170104);the China Scholarship Council (201406960041).
As a fundamental cryptographic primitive, oblivious transfer (OT) is developed for the sake of efficient usability and combinational feasibility. However, most OT protocols are built upon some quantum non-immune crypt...
supported by National Natural Science Foundation of China (Grant Nos. 61502527, 61170278, 61170279, 61379150);National Basic Research Program of China (Grant Nos. 2013CB338003, 2012CB315905);National High Technology Research and Development Program of China (Grant No. 2012AA01A 403);China Postdoctoral Science Foundation (Grant No. 2014M552524);Foundation of Science and Technology on Information Assurance Laboratory (Grant No. KJ-14-004)
Anonymous password authenticated key exchange(APAKE) is an important cryptographic primitive, through which a client holding a password can establish a session key with a server both authentically and anonymously. A...
A software framework is an infrastructure or architecture intended to enable the integration and interoperation of a set of software components.A specialized type of software frameworks are those specifically designed...
This research is supported by National Science Foundation grants#BCS-0140269 and#DEB-1313727.
Modeling and simulation is pervasive throughout many different disciplines.As computing technology has provided more capability,the systems being modeled and simulated have grown larger and more complex.Often times,th...
The simulation composability is one of important development directions in simulation domain. The key issue is the semantic composability. Currently there is no feasible approach to realize the effective semantic repr...
supported by the National Natural Science Foundation of China(60674069;60574056).
To improve the agility, dynamics, composability, reusability, and development efficiency restricted by monolithic federation object model (FOM), a modular FOM is proposed by high level architecture (HLA) evolved p...
the National Natural Science Foundation of China(Nos.60703031,60703004);the National High Technology Research and Development Program(863)of China(No.2006AA01Z4220;the National Basic Research Program(973)of China(No.2007CB311201)
The universal composability framework is a new approach for designing and analyzing the security of cryptographic protocols.In this framework,the security of protocols is maintained under a general protocol compositio...
the National Natural Science Foundation of China (Nos. 60573030, 90704004);the National Basic Research Program (973) of China(No. 2007CB311201)
Recently some efforts were made towards capturing the security requirements within the composable security framework. This modeling has some significant advantages in designing and analyzing complex systems. The thres...