Mart'in Abadi, Andrew Birrell, Raymie Stata, and Edward Wobber. Secure web tunneling. Computer Networks and ISDN Systems, 30(1--7):531--539, April 1998. Proceedings of the 7th International World Wide Web Conference. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Implementation of multimedia systems based on a real-time.. - Fischer (4 citations) (Correct)
....in multimedia systems. We do not further elaborate on timed process algebras. The interested reader may find a good starting point in (Nicollin and Sifakis, 1991) though development has since progressed. Descriptive techniques are usually based on temporal logic (TL) for an overview see (Gotzhein, 1992)) Generally, temporal logic formulas describe temporal relations between states which are characterized by state propositions. The formulas are interpreted over state sequences. All state sequences fulfilling the formulas compose the system. For the description of real time systems, traditional ....
....and de Oliveira, 1995) Basically, in all these approaches, the occurrence of actions is restricted to certain time intervals. There have also been some approaches to extend the language Estelle by some real time aspects (Dembi nski and Budkowski, 1987; von Bochmann and Vaucher, 1988; Chamberlain, 1992), but none of the methods described above is addressed explicitly there. Dembi nski and Budkowski go in the direction of TTSs by adding upper and lower bounds on the execution time of transitions. Chamberlain effectively does the same by adding a new clause doby(x) to transitions, implying ....
In Puigjaner, R., editor, High Performance Networking VI, pages 195--210. Chapman & Hall, London. Gotzhein, R. (1992). Temporal logic and applications -- a tutorial. Computer Networks and ISDN Systems, 24:203--218.
Secure Implementation of Channel Abstractions - Abadi, Fournet (1999) (21 citations) Self-citation (Abadi) (Correct)
....sophisticated cases, where some communication is local to a machine or takes place on a trusted network. In those cases, only messages that cross trust boundaries are encrypted; the basic component of the translation is a process that operates much as a firewall with an encrypting tunnel (e.g. [11, 7, 2]) relaying messages from a trusted machine or a trusted network to a public network and conversely, applying encryption and converting message formats through appropriate marshaling and unmarshaling procedures. 2.2.3 On the choice of the join calculus and the sjoin calculus The problem of ....
Mart'in Abadi, Andrew Birrell, Raymie Stata, and Edward Wobber. Secure web tunneling. Computer Networks and ISDN Systems, 30(1--7):531--539, April 1998. Proceedings of the 7th International World Wide Web Conference.
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