MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jeremy Bryans" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 15 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Implementing A Modal Logic Over Data And Processes Using XTL  
  • by Jeremy Bryans, Carron Shankland — In Kim et al
  • …The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying properties involving both data and transitions. In this paper we present a restricted prototype implementation of a mode…
  • Cited by 5 (1 self) – Add To MetaCart
  • CSP, PVS and a Recursive Authentication Protocol  
  • by Jeremy Bryans, Steve Schneider — 1997 — In DIMACS Workshop on Design and Formal Verification of Crypto Protocols
  • …this paper we consider the nature of machine proofs used in the CSP approach to the verification of authentication protocols. In [Sch96], a general method is presented for the analysis and verification of authentication protocols using the process algebra CSP [Hoa85]. The CSP syntax provides a natur…
  • Cited by 3 (1 self) – Add To MetaCart
  • Reasoning about XACML policies using CSP  
  • by Using Csp, Jeremy Bryans, Jeremy Bryans, Jeremy Bryans — 2005 — In SWS ’05: Proceedings of the 2005 workshop on Secure web services
  • …In this work we explore the use of process algebra in formalising and analysing access control policies. We do this by considering a standard access control language (XACML) and show how the core concepts in the language can be represented in CSP. We then show how properties of these policies may al…
  • Cited by 5 (0 self) – Add To MetaCart
  • Stochastic Specification and Verification  
  • by Jeremy Bryans, John Derrick — 1999 — Proceedings of the 3 rd Irish Workshop on Formal Methods, Electronic Workshops in Computing, pp 20
  • …Modern distributed systems include a class of applications in which non-functional requirements are important.…
  • Cited by 3 (0 self) – Add To MetaCart
  • unknown title  
  • by Organising Commitee, Peter Ryan, Tim Storer, Jeremy Bryans — 2006
  • …This is the online version of the proceedings for the “E-voting and e-Government Workshop in the UK”. Authors who submitted papers to the workshop were entitled to retain copyright if they wished to have the paper published elsewhere. As such some papers have been restricted to a short abstract in t…
  • Add To MetaCart
  • A failures semantics for ET-LOTOS  
  • by Steve Schneider, Royal Holloway, Jeremy Bryans, Jim Davies
  • …A denotational semantics is presented for ET-LOTOS [LeL94] in the style of semantics for timed CSP, in terms of timed failures with additional information about internal events. This semantics is consistent with the original operational semantics, and is shown to be the weakest congruence stronger t…
  • Add To MetaCart
  • Model checking stochastic automata  
  • by Jeremy Bryans, Howard Bowman, John Derrick — 2000 — ACM Transactions on Computational Logic
  • …Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where real time constraints are crucial to their correct functioning. In order to specify such systems it is necessary to des…
  • Cited by 6 (2 self) – Add To MetaCart
  • A Model Checking Algorithm for Stochastic Systems  
  • by Jeremy Bryans, Howard Bowman, John Derrick — 2000
  • …this report we present an algorithm for model-checking stochastic automata with respect to a probabilistic temporal logic. We consider the stochastic automata presented in [D'A99]. In particular, the algorithm is novel in that it allows any (continuous) probability density functions to be used in th…
  • Cited by 2 (1 self) – Add To MetaCart
  • Real-time LOTOS and timed observations  
  • by Jim Davies, Jeremy Bryans, Steve Schneider — 1995 — In Formal Description Techniques VIII. Chapmann
  • …This paper presents a new semantic model for real-time LOTOS, based upon a notion of timed observations. The novelty of the model is explained, as is its value. It di#ers from the usual operational models in that it permits an abstract, property-oriented view of processes. It di#ers from earlier den…
  • Cited by 2 (0 self) – Add To MetaCart
  • Towards a denotational semantics for ET-LOTOS  
  • by Jeremy Bryans, Jim Davies, Steve Schneider — 1995 — In Proceedings of CONCUR’95
  • …The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract denotational semantics for the process algebraic component of this extension. The benefits of a deno…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB