Game Theory Meets Network Security: A Tutorial at ACM CCS

The increasingly pervasive connectivity of today's information systems brings up new challenges to security. Traditional security has accomplished a long way toward protecting well-defined goals such as confidentiality, integrity, availability, and authenticity. However, with the growing sophistication of the attacks and the complexity of the system, the protection using traditional methods could be cost-prohibitive. A new perspective and a new theoretical foundation are needed to understand security from a strategic and decision-making perspective. Game theory provides a natural framework to capture the adversarial and defensive interactions between an attacker and a defender. It provides a quantitative assessment of security, prediction of security outcomes, and a mechanism design tool that can enable security-by-design and reverse the attacker's advantage. This tutorial provides an overview of diverse methodologies from game theory that includes games of incomplete information, dynamic games, mechanism design theory to offer a modern theoretic underpinning of a science of cybersecurity. The tutorial will also discuss open problems and research challenges that the CCS community can address and contribute with an objective to build a multidisciplinary bridge between cybersecurity, economics, game and decision theory

An investigation of air and water dual adjustment decoupling control of surface heat exchanger

The terminal equipment of central cooling system accounts for a significant proportion of the total system's energy consumption. Therefore, it is important to reduce the terminal equipment energy consumption in central air conditioning system. In this study, the difference of the effect of the chilled water flow rate and air supply rate on the surface cooler during the heat transfer process is taken into full account. Matlab/Simulink simulation software is used to model and simulate the heat transfer of surface cooler of the main terminal equipment of air conditioning system. Simulation tests and experimental validations are conducted by using variable chilled water flow rate and variable air supply rate control mode separately. The experiment results show that the simulation model can effectively predict the heat transfer performance of heat exchanger. Further, the study introduced a dual feedback control mode, which synchronously regulates the chilled water flow rate and air supply rate. Also, under certain conditions, the complex heat transfer process of the surface cooler can be decoupled, and single variable control pattern is used to separately regulate the chilled water flow rate and air supply rate. This can effectively shorten the system regulation time, reduce overshoot and improve control performance

Hawking Radiation of an Arbitrarily Accelerating Kinnersley Black Hole: Spin-Acceleration Coupling Effect

The Hawking radiation of Weyl neutrinos in an arbitrarily accelerating Kinnersley black hole is investigated by using a method of the generalized tortoise coordinate transformation. Both the location and temperature of the event horizon depend on the time and on the angles. They coincide with previous results, but the thermal radiation spectrum of massless spinor particles displays a kind of spin-acceleration coupling effect.Comment: 8 pages, no figure, revtex 4.0, revisted version with typesetting errors and misprint correcte

Brueckner-Hartree-Fock and its renormalized calculations for finite nuclei

We have performed self-consistent Brueckner-Hartree-Fock (BHF) and its renormalized theory to the structure calculations of finite nuclei. The $G$-matrix is calculated within the BHF basis, and the exact Pauli exclusion operator is determined by the BHF spectrum. Self-consistent occupation probabilities are included in the renormalized Brueckner-Hartree-Fock (RBHF). Various systematics and convergences are studies. Good results are obtained for the ground-state energy and radius. RBHF can give a more reasonable single-particle spectrum and radius. We present a first benchmark calculation with other {\it ab initio} methods using the same effective Hamiltonian. We find that the BHF and RBHF results are in good agreement with other $\it{ab}$ $\it{initio}$ methods