Nobuko Yoshida, Department of Computing, Imperial College London 1 Background ...  Home/Search
Context
Related
| dse.doc.ic.ac.uk/Projec...6Yoshida.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dse.doc.ic.ac.uk/Projects/UbiN... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: tes on the Internet in order to perform commercial transactions. The agent may be equipped with a buying list and orders on behalf of its owner as its script (program) and perform complex interactions with virtual shops. It may also change its behaviour depending on, e.g. prices of goods. Then there are three major issues arising during the interaction between agents (clients) and shops (hosts). the agent may jeopardise the integrity of the host; for example, the agent may delete or modify... (Update)
Active bibliography (related documents): More All
1.5: Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (Correct)
0.5: Linearly Used E ects: - Monadic And Cps (Correct)
0.3: From Process Logic to Program Logic - Honda (2004) (Correct)
Similar documents based on text: More All
0.2: Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
0.2: Subtyping and Locality in Distributed Higher Order Processes - Yoshida, Hennessy (1999) (Correct)
0.2: On Reduction-Based Process Semantics - Honda, YOSHIDA (1995) (Correct)
BibTeX entry: (Update)
@misc{ department-typebased,
author = "Nobuko Yoshida Department",
title = "Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness",
url = "citeseer.ist.psu.edu/655771.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
566 Proof-carrying code - Necula - 1997
434 A framework for defining logics - Harper, Honsell et al. - 1993
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
248 Expressing Mobility (context) - Sangiorgi - 1992
158 Certification of programs for secure information flow (context) - Denning, Denning - 1997
139 Secure information flow in a multithreaded imperative langua.. - Smith, Volpano - 1998
118 Extensible security architectures for Java - Wallach - 1997
117 Featherweight Java: A Minimal Core Calculus for Java and GJ - Igarashi, Pierce et al. - 2001
95 Language-Based Information Flow Security - Sabelfeld, Meyers - 2003
57 Subtyping and Locality in Distributed Higher Order Processes - Yoshida, Hennessy - 1999
50 A Certifying Compiler for Java - Colby - 2000
49 Secure Information Flow as Typed Process Behaviour - Honda, Vasconcelos et al. - 2000
39 A Uniform Type Structure for Secure Information Flow - Honda, Yoshida - 2002
36 Assigning Types to Processes - Yoshida, Hennessy - 2002
19 Stack Inspection: theory and variants (context) - Fornet, Gordon - 2002
19 Untrusted Hosts and Confidentiality: Secure Program Partitio.. - Zdancewic, Zheng et al. - 2001
19 SafeDpi: a language for controlling mobile code - Hennessy, Rathke et al. - 2004
15 Access Control based on Execution History - Abadi, Fornet - 2003
13 Linearity and Bisimulation - Yoshida, Berger et al. - 2002
12 Developing Intelligent Agents for Distributed Systems (context) - Knapik, Johnson - 1998
9 Sequentiality and the p-Calculus (context) - Berger, Honda et al. - 2044
6 A systematic approach to access control (context) - Pottier, Skalka et al. - 2001
6 MJ: an imperative core calculus for Java and Java with effec.. (context) - Bierman, Parkinson et al. - 2003
6 Genericity and the p- Calculus (context) - Berger, Honda et al. - 2003
3 Framework Formalisation Pi Calculu Type System IsabelleHOL - for, of et al. - 2001
2 and Yoshida (context) - Honda, Berger - 2004
2 and Functionality in Extensible Systems (context) - Grimm, Bershad - 2001
1 On Concurrent Programming (context) - Schneier - 1997
1 Channel Dependency Types for Higher-Order Mobile Processes (context) - Yoshida - 2004
1 The full version: to appear in Journal of Information and Co.. (context) - Yoshida, Berger et al. - 2001
http://www.cs.cornell.edu/jif/
http://www.verificard.org
http://www.enigmatec.net/
http://binarylord.com/slurp/
http://www.cis.upenn.edu/switchware/
Documents on the same site (http://www-dse.doc.ic.ac.uk/Projects/UbiNet/ws2004/): More
Design Abstractions for Context-Awareness - Lopes, Fiadeiro (2004) (Correct)
Context-Adaptive Information Security for UbiComp Environments - Dragovic, Crowcroft (2004) (Correct)
Utilising Component Composition for Secure Ubiquitous .. - Llewellyn-Jones.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC