• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Composition with Consistent Updates for Abstract State Machines

Cached

Download Links

  • [www.cs.brown.edu]
  • [cs.brown.edu]
  • [ikt.hia.no]
  • [cs.brown.edu]
  • [cs.washington.edu]
  • [www.cs.brown.edu]
  • [www.cs.brown.edu]
  • [www.cs.brown.edu]
  • [www.cs.washington.edu]
  • [www.cs.brown.edu]
  • [www.cs.brown.edu]
  • [www.eecs.berkeley.edu]
  • [homes.cs.washington.edu]
  • [cs.brown.edu]
  • [cs.brown.edu]
  • [lmeyerov.github.io]
  • [cs.brown.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Colin Gordon , Leo Meyerovich , Joel Weinberger , Shriram Krishnamurthi
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Gordon_compositionwith,
    author = {Colin Gordon and Leo Meyerovich and Joel Weinberger and Shriram Krishnamurthi},
    title = {Composition with Consistent Updates for Abstract State Machines},
    year = {}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Abstract. Abstract State Machines (asms) offer a formalism for describing state transitions over relational structures. This makes them promising for modeling system features such as access control, especially in an environment where the policy’s outcome depends on the evolving state of the system. The current notions of modularity for asms, however, provide insufficiently strong guarantees of consistency in the face of parallel update requests. We present a real-world context that illustrates this problem, discuss desirable properties for composition in this context, describe an operator that exhibits these properties, formalize its meaning, and outline its implementation strategy. 1

Keyphrases

abstract state machine    consistent update    implementation strategy    system feature    access control    parallel update request    current notion    state transition    discus desirable property    strong guarantee    relational structure    outcome depends    real-world context   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2016 The Pennsylvania State University