Back to Results
First PageMeta Content
Applied mathematics / Formal methods / Extended finite-state machine / Theory of computation / Finite-state machine / Algorithm / Grammar induction / Models of computation / Theoretical computer science / Computer science


Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu
Add to Reading List

Document Date: 2014-02-06 15:50:08

Open Document

File Size: 1,69 MB

Share Result on Facebook

Company

Luca Viganò Partners / Siemens / /

IndustryTerm

web interface / Web application abstraction / Web Applications / actual software artifacts / inference algorithm / automatic inference algorithms / typical software / software security / Inference algorithms / software component / security protocols / web application / /

Organization

US Federal Reserve / /

Person

Alexandre Petrenko / /

Position

Driver / teacher / guard / security analyst / WB / months Project Coordinator / /

Technology

encryption / Inference Algorithm / HTTP / automatic inference algorithms / Inference algorithms / security protocols / algorithm Inferred SIP protocol / HTML / L* algorithm / Finite State Machine / SAML SSO Protocol / 3.2 SIP Protocol / /

URL

www.spacios.eu / /

SocialTag