On the Systematic Design of Web Languages DENNIS VOLPANO Computer Science Department, Naval Postgraduate School, Monterey, CA volpano@cs.nps.navy.mil GEOFFREY SMITH School of Computer Science, Florida International University, Miami, FL smithg@fiu.edu Semanticists should be the obstetricians, not the coroners, of programming languages. John Reynolds Recently there has been phenomenal growth in the use of the Internet through the World-Wide Web. Especially interesting is the emergence of so-called Web languages, such as Java1 [Gosling and McGilton 1995; van Hoff et al. 1995], that support the development of programs that can be downloaded to a client s machine for execution by a Web browser. This brings power and flexibility to Web applications, but it also brings well-known endpoint security problems, such as the threat of integrity and unauthorized disclosure attacks [Bank 1995]. Yet, although security has been an issue in Web language design, there appears to be no formal characterization of the kinds of security properties one can expect of programs written in these languages. A Web language should, we believe, be designed so that all programs are guaranteed to satisfy explicitly stated security properties. To this end, we advocate a more systematic approach to the design of secure Web
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/on-the-systematic-design-of-web-languages-azBRweumaI
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
On the systematic design of Web languages
Volpano, Dennis; Smith, Geoffrey
Follow ACM Computing Surveys (CSUR)
, Volume 28 (2)
Association for Computing Machinery – Jun 1, 1996
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
