Back to Results
First PageMeta Content
Email / Client-side / Server / Internet / Computing / Isabelle / Client–server model


Poster: Security in Web-Based Workflows Thomas Bauereiß∗ , Abhishek Bichhawat† , Iulia Bolos¸teanu‡ , Peter Faymonville† , Bernd Finkbeiner† , Deepak Garg‡ , Richard Gay¶ , Sergey Grebenshchikov§ , Christ
Add to Reading List

Document Date: 2015-05-11 16:42:41


Open Document

File Size: 312,51 KB

Share Result on Facebook

City

Darmstadt / Bremen / /

Company

Amazon / S&P / Reliably Secure Software Systems / WebKit / Microsoft / Facebook / /

Country

Germany / United Kingdom / /

/

Facility

Saarland University / Middlesex University / /

IndustryTerm

Web-Based Workflows Thomas Bauereiß∗ / realistic end product / typical web application / client-side monitoring tool / web applications / workflow applications / secure systems / mentioned workflow/document management systems / Web Browsers / web browser / conference management tool / role-based document management systems / cloud computing / day web / web tracking / web-based systems / /

Organization

Saarland University / Middlesex University / School of Science and Technology / PC / /

Person

Markus Rabe / Christian Hammer / Andrei Popescu / Heiko Mantel / Helmut Seidl / Abhishek Bichhawat / Peter Lammich / Peter Faymonville / Deepak Garg / Richard Gay / Bernd Finkbeiner / Dieter Hutter / Sergey Grebenshchikov / Markus Tasch / A. Bichhawat / V / /

Position

JS interpreter / Proof Assistant / Proof Assistant for Higher-order Logic / interpreter / /

Product

JavaScript / /

ProgrammingLanguage

JavaScript / HTML / Scala / /

PublishedMedium

The Huffington Post / /

Technology

flow control / API / http / DOM / HTML / document object model / /

URL

www.easychair.org/smart-program/VSL2014/Isabelle-index.html / http /

SocialTag