Sciweavers

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

7

ATVA
2005
Springer

favoriteEmaildiscussreport

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

13 years 10 months ago

A Static Analysis Using Tree Automata for XML Access Control

Download unit.aist.go.jp

Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

Real-time Traffic

ATVA 2005 |

claim paper

Related Content

» XML access control using static analysis

» Reasoning about XML with temporal logics and automata

» Tree Automata for SchemaLevel Filtering of XML Associations

» Controlling Access to XML Documents over XML Native and Relational Databases

» Rewritebased verification of XML updates

» Towards formal security analysis of GTRBAC using timed automata

» A Novel Mechanism for Contention Resolution in HFC Networks

» An analysis framework for networkcode programs

» The Next Database Revolution

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	ATVA
Authors	Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

Comments (0)