Sciweavers

    TGC   2007 Trustworthy Global Computing
    Wall of Fame | Most Viewed TGC-2007 Paper
    TGC
    2007
    Springer
    197views Applied Computing» more  TGC 2007»
    Access Control Based on Code Identity for Open Distributed Systems
    13 years 10 months ago
    Access Control Based on Code Identity for Open Distributed Systems
    Download  reed.cs.depaul.edu
    In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
    Andrew Cirillo, James Riely
    claim paper
    Read More »
    Disclaimer and Copyright Notice
    Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
    IdReadViewsTitleStatus
    1Download preprint from source197
    Access Control Based on Code Identity for Open Distributed Systems
    claim
    2Download preprint from source169
    On the Complexity of Termination Inference for Processes
    claim
    3Download preprint from source153
    Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems
    claim
    4Download preprint from source133
    A Protocol Compiler for Secure Sessions in ML
    claim
    5Download preprint from source125
    Adversaries and Information Leaks (Tutorial)
    claim
    6Download preprint from source123
    Type-Safe Distributed Programming with ML5
    claim
    7Download preprint from source122
    Multipoint Session Types for a Distributed Calculus
    claim
    8Download preprint from source114
    Elimination of Ghost Variables in Program Logics
    claim
    9Download preprint from source107
    Computational Soundness of Equational Theories (Tutorial)
    claim
    10Download preprint from source105
    Extending Operational Semantics of the Java Bytecode
    claim
    11Download preprint from source103
    Transactional Service Level Agreement
    claim
    12Download preprint from source103
    Service Oriented Architectural Design
    claim
    13Download preprint from source98
    Service Combinators for Farming Virtual Machines
    claim
    14Download preprint from source97
    Location-Aware Quality of Service Measurements for Service-Level Agreements
    claim
    15Download preprint from source90
    Relational Analysis for Delivery of Services
    claim
    16Download preprint from source88
    Replicating Web Services for Scalability
    claim
    17Download preprint from source84
    Formal Approaches to Information-Hiding (Tutorial)
    claim
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.