Raveendra Holla

Learn More
Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separabil-ity and so on.(More)
We show that the expressiveness of Timed Propositional Temporal Logic (TPTL) [1] with the since operator, coincides for the pointwise and continuous semantics. We do this by first going over to an equivalent first-order logic with linear constraints, interpreted over timed words. We then show that the two semantics coincide for this first-order logic, by(More)
We consider a first-order logic with linear constraints which can be interpreted naturally in both a pointwise or continuous way over timed words. We show that the two interpretations of this logic coincide in terms of expressive-ness. As a consequence it follows that the pointwise and continuous semantics of the logic TPTL with the since operator [2] also(More)
For high dose rate (HDR) brachytherapy, independent treatment verification is needed to ensure that the treatment is performed as per prescription. This study demonstrates dosimetric quality assurance of the HDR brachytherapy using a commercially available two-dimensional ion chamber array called IMatriXX, which has a detector separation of 0.7619 cm. The(More)
  • 1