Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

FUIN
2008

favoriteEmaildiscussreport

74views more FUIN 2008»

Security in a Model for Long-running Transactions

13 years 4 months ago

Security in a Model for Long-running Transactions

Download www.di.unipi.it

Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long

Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo

Real-time Traffic

FUIN 2008 | Longrunning Transactions | Security Concept | Transaction-based Timed Automata |

claim paper

Related Content

» Compositional Nested Long Running Transactions

» Modeling LongRunning Transactions with Communicating Hierarchical Timed Automata

» An Operational Semantics for StAC a Language for Modelling LongRunning Business Transactio...

» A Transactional Model for LongRunning Activities

» A Trace Semantics for LongRunning Transactions

» Transactional Service Level Agreement

» A SemanticBased Transaction Processing Model for Multilevel Transactions

» Modelling a Secure Mobile and Transactional System with COOPN

» Statistical and Fuzzy Approach for Database Security

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	FUIN
Authors	Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo

Comments (0)