Makoto Murata, Akihiko Tozawa, et al.
ACM TISSEC
This paper describes XML and schema languages using formal language theory. It also overviews schemabased XML technologies, notably validation and static type checking. © 2004, Japan Society for Software Science and Technology. All rights reserved.
Makoto Murata, Akihiko Tozawa, et al.
ACM TISSEC
Makoto Murata, Dongwon Lee, et al.
ACM TOIT
Makoto Murata, Akihiko Tozawa, et al.
CCS 2003
Makoto Murata, Dongwon Lee, et al.
ACM TOIT