Titlebook: Software Security -- Theories and Systems; Mext-NSF-JSPS Intern Mitsuhiro Okada,Benjamin C. Pierce,Akinori Yonezaw Conference proceedings 2

倒轉(zhuǎn)

Proof-Carrying Code with Untrusted Proof Ruless the security and flexibility of the PCC system..In this paper, we exhibit an approach to removing the safety proof rules from the trusted base, with a technique by which the producer can convince the consumer that a given set of high-level safety rules enforce a strong global invariant that entails the trusted low-level memory safety policy.

使人煩燥

概觀

Conference proceedings 2003rity of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well..

俗艷

Towards Security and Privacy for Pervasive Computingay lives. While the focus of current research is on how to connect new devices and build useful applications to improve functionality, the security and privacy issues in such environments have not been explored in any depth. While traditional distributed computing research attempts to abstract away

NATTY

Security for Whom? The Shifting Security Assumptions of Pervasive Computingtive. Old solutions may not scale when the size of the problem grows by such a factor—passwords, for example, will no longer be a suitable user authentication method..In this paper we examine new security issues for pervasive computing including authentication, biometrics and digital rights manageme

Organonitrile

Active Authentication for Pervasive Computing Environments and embedded devices. In such an environment, since users are mobile, an authentication mechanism that does not disturb the user movement, and that decreases the user burden is needed. The model determines the timing constraint needed to realize “zero-stop” property from the speed of the users, siz

Pituitary-Gland

A Survey of Peer-to-Peer Security Issues2p network provides a scalable and fault-tolerant mechanism to locate nodes anywhere on a network without maintaining a large amount of routing state. This allows for a variety of applications beyond simple file sharing. Examples include multicast systems, anonymous communications systems, and web c

Mettle

Autonomous Nodes and Distributed Mechanismsgically deviate from the prescribed protocol. Our goal is to motivate agents to contribute to a global objective and resist disruption by a limited number of malicious irrational agents, augmenting market incentives with cryptographic primitives to make certain forms of behavior computationally infe

Ebct207

Negotiated Privacyent or commercial datamining, and fundamental privacy interests of individuals and organizations. This paper proposes a mechanism that provides cryptographic fetters on the mining of personal data, enabling efficient mining of previously-negotiated properties, but preventing any other uses of the pr

Picks-Disease

SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulationtion, we mean a generalized conventional software distribution concept in which software can be transferred even in an iterative manner such as through redistribution or using mobile agents. To clarify the problem that arises when software is circulated in an open network environment, we first consi