Preface 1. Decision-Theoretic Foundations 1.1 Game Theory, Rationality, and Intelligence 1.2 Basic Concepts of Decision Theory 1.3 Axioms 1.4 The Expected-Utility Maximization Theorem 1.5 Equivalent Representations 1.6 Bayesian Conditional-Probability Systems 1.7 Limitations of the Bayesian Model 1.8 Domination 1.9 Proofs of the Domination Theorems Exercises 2. Basic Models 2.1 Games in Extensive Form 2.2 Strategic Form and the Normal Representation 2.3 Equivalence of Strategic-Form Games 2.4 Reduced Normal Representations 2.5 Elimination of Dominated Strategies 2.6 Multiagent Representations 2.7 Common Knowledge 2.8 Bayesian Games 2.9 Modeling Games with Incomplete Information Exercises 3. Equilibria of Strategic-Form Games 3.1 Domination and Ratonalizability 3.2 Nash Equilibrium 3.3 Computing Nash Equilibria 3.4 Significance of Nash Equilibria 3.5 The Focal-Point Effect 3.6 The Decision-Analytic Approach to Games 3.7 Evolution. Resistance. and Risk Dominance 3.8 Two-Person Zero-Sum Games 3.9 Bayesian Equilibria 3.10 Purification of Randomized Strategies in Equilibria 3.11 Auctions 3.12 Proof of Existence of Equilibrium 3.13 Infinite Strategy Sets Exercises 4. Sequential Equilibria of Extensive-Form Games 4.1 Mixed Strategies and Behavioral Strategies 4.2 Equilibria in Behavioral Strategies 4.3 Sequential Rationality at Information States with Positive Probability 4.4 Consistent Beliefs and Sequential Rationality at All Information States 4.5 Computing Sequential Equilibria 4.6 Subgame-Perfect Equilibria 4.7 Games with Perfect Information 4.8 Adding Chance Events with Small Probability 4.9 Forward Induction 4.10 Voting and Binary Agendas 4.11 Technical Proofs Exercises 5. Refinements of Equilibrium in Strategic Form 5.1 Introduction 5.2 Perfect Equilibria 5.3 Existence of Perfect and Sequential Equilibria 5.4 Proper Equilibria 5.5 Persistent Equilibria 5.6 Stable Sets 01 Equilibria 5.7 Generic Properties 5.8 Conclusions Exercises 6. Games with Communication 6.1 Contracts and Correlated Strategies 6.2 Correlated Equilibria 6.3 Bayesian Games with Communication 6.4 Bayesian Collective-Choice Problems and Bayesian Bargaining Problems 6.5 Trading Problems with Linear Utility 6.6 General Participation Constraints for Bayesian Games with Contracts 6.7 Sender-Receiver Games 6.8 Acceptable and Predominant Correlated Equilibria 6.9 Communication in Extensive-Form and Multistage Games Exercises Bibliographic Note 7. Repeated Games 7.1 The Repeated Prisoners Dilemma 7.2 A General Model of Repeated Garnet 7.3 Stationary Equilibria of Repeated Games with Complete State Information and Discounting 7.4 Repeated Games with Standard Information: Examples 7.5 General Feasibility Theorems for Standard Repeated Games 7.6 Finitely Repeated Games and the Role of Initial Doubt 7.7 Imperfect Observability of Moves 7.8 Repeated Wines in Large Decentralized Groups 7.9 Repeated Games with Incomplete Information 7.10 Continuous Time 7.11 Evolutionary Simulation of Repeated Games Exercises 8. Bargaining and Cooperation in Two-Person Games 8.1 Noncooperative Foundations of Cooperative Game Theory 8.2 Two-Person Bargaining Problems and the Nash Bargaining Solution 8.3 Interpersonal Comparisons of Weighted Utility 8.4 Transferable Utility 8.5 Rational Threats 8.6 Other Bargaining Solutions 8.7 An Alternating-Offer Bargaining Game 8.8 An Alternating-Offer Game with Incomplete Information 8.9 A Discrete Alternating-Offer Game 8.10 Renegotiation Exercises 9. Coalitions in Cooperative Games 9.1 Introduction to Coalitional Analysis 9.2 Characteristic Functions with Transferable Utility 9.3 The Core 9.4 The Shapkey Value 9.5 Values with Cooperation Structures 9.6 Other Solution Concepts 9.7 Colational Games with Nontransferable Utility 9.8 Cores without Transferable Utility 9.9 Values without Transferable Utility Exercises Bibliographic Note 10. Cooperation under Uncertainty 10.1 Introduction 10.2 Concepts of Efficiency 10.3 An Example 10.4 Ex Post Inefficiency and Subsequent Oilers 10.5 Computing Incentive-Efficient Mechanisms 10.6 Inscrutability and Durability 10.7 Mechanism Selection by an Informed Principal 10.8 Neutral Bargaining Solutions 10.9 Dynamic Matching Processes with Incomplete Information Exercises Bibliography Index

博弈论 : 矛盾冲突分析 = Game theory : analysis of conflict

http://www.parkjonghyuk.net/lecture/2015-1st-lecture/networksecurity/Paper1.pdf

Security, privacy and trust in Internet of Things

A survey on trust management for Internet of Things

The extent to which member states transpose EU directives in a timely fashion is often argued to be strongly associated with the general effectiveness of national bureaucracies. But what kind of institutional solutions ensure better performance? This paper examines the patterns and effects of departmental oversight across 28 ministries in Estonia, Hungary, Poland and Slovenia. In mapping the strength of oversight, it relies on around 90 structured interviews regarding the rules-in-use on transposition planning, legal review and monitoring of deadlines. The analysis of the impact of departmental oversight is based on an original dataset of over 300 directives with transposition deadlines between January 2005 and December 2008.

On the european union

A survey of intrusion detection in Internet of Things

“Internet of Things” (IOT) has become the everyday buzz words in recent years. As part and parcel of the Smart environment where human beings and things interact intelligently, trust and mobility becomes the basic prerequisites. However, to unify trust and mobility, a security protocol must be used for information exchanges among human and things; as well as between things and things (such as between Wi-Fi Client and Wi-Fi AP). In this paper, we present an enhancement of a security protocol for bulk data transfer amongst embedded devices (similar to the practices in IOT). We also proposed a security framework for enhancing security, trust and privacy (STP) for embedded system infrastructure. We suggested the use of lightweight symmetric encryption (for data) and asymmetric encryption (for key exchange) protocols in Trivial File Transfer Protocol (TFTP). The target implementation of TFTP is for embedded devices such as Wi-Fi Access Points (AP) and remote Base Stations (BS). We have chosen Das U-Boot (Universal Boot loader) as the horizontal security platform for this new security implementation which is suitable for Smart Environment.

A lightweight and secure TFTP protocol for smart environment

A method that establishes a trusted platform in a computing system when modules, such as drivers (20) or services (30), are loaded and executed. Values (e.g., hash values, signatures, etc.) of modules are compiled and stored so that measurements can be compared and matched to confirm integrity before being loaded. If a measurement does not match the stored data then the system can discontinue further operation, restrict operations, indicate that the system security has been breached or take other actions. In one embodiment, if a driver (20) or service does not pass the integrity check then the failed measurement is extended into a Platform Configuration Register (PCR) within a Trusted Platform Manager (TPM) process. Subsequently, client applications can determine if the platform is trusted based on the return of the PCR value.

A method for enabling a trusted platform in a computing system

Windows Operating System (WinOS) emerged in the market for the past few decades to provide the solution for various platforms that range from desktop computer, server to sophisticated computing systems such as grid computer. The evolution of the design of operating systems continues to fulfill the needs of diverse applications that run on various platforms or hardware. Recently, a new element was introduced to provide trust enhancement on platforms using Trusted Computing. In this paper, we discuss an implementation of Trusted Computing in providing a mechanism to check whether hardware, software or application running on a platform "behaves as expected" without need for further validation. We further propose a new Integrity Verification Architecture (IVA) based Security Framework to protect user data privacy. Our proposed security framework focuses on providing platform integrity verification and self-healing in Windows Operating Systems via IVA.

Integrity Verification Architecture (IVA) Based Security Framework for Windows Operating System

Information which used to be privileged only for the rich and powerful few has become crucial part of our life. Everyone is now very aware of the need to protect sensitive and valuable information from unintentionally being presented to other individuals or organizations. In the open environment such as the internet, there are suspicious individuals with insincere motives who are cautiously trying to get personal gain or trying to meet political propaganda. Clearly, there is a need for a framework for data to travel uninterrupted, unchanged and unseen by unscrupulous recipients. This framework should address issues in security, trust and privacy in a unified form. We present our proposed framework in a holistic approach. This paper discusses the global phenomenon of information security divide, major security, trust and privacy (STP) challenges, related works by past researchers and the proposed STP framework. The Framework, when implemented in pervasive computing environment would address how sensitive personal data could travel uninterrupted, unchanged and unseen by unscrupulous recipients.

http://www.wseas.us/e-library/conferences/2011/Corfu/COMPUTERS/COMPUTERS-07.pdf

Security, trust and privacy: a new direction for pervasive computing

Traditional "monolithic" operating systems provide most services by its kernel. Examples of monolithic ones are Linux and Windows. However, a microkernel should be designed to reduce complexity and increase stability of the kernel rather than dump everything in kernel space. Furthermore, the microkernel should be made highly configurable, small, modular, and should be easily expendable without tremendous changes to its source codes. The usage of computer has rapidly grown in recent years which necessitate more secure operating system to fulfil mission critical systems and business transaction. Unfortunately, recent designs of the microkernel are still prone from various attacks. To address this issue, we propose to use trusted computing principles embedded in the existing microkernel design. In this paper we focus our discussions on microkernel architecture to implement trusted computing in the microkernel.

Mohd Anuar Mat Isa

Papers

A lightweight and secure TFTP protocol for smart environment

A method for enabling a trusted platform in a computing system

Integrity Verification Architecture (IVA) Based Security Framework for Windows Operating System

Security, trust and privacy: a new direction for pervasive computing

Trusted computing based microkernel