Language-based security - PDFSEARCH.IO - Document Search Engine

Language-based security
Results: 118

#	Item
1	Improving language-based predictive mitigation for information-flow security Jérémy Thibault1 and Aslan Askarov2 1 École Normale Supérieure de Rennes, France Add to Reading List Source URL: perso.eleves.ens-rennes.fr - Date: 2017-09-12 01:23:02
2	S AFKASI1: A Security Mechanism for Language-based Systems Dan S. Wallach Rice University Andrew W. Appel and Edward W. Felten Princeton University Add to Reading List Source URL: www.cs.rice.edu - Date: 2000-10-31 20:50:34
3	PAPI EE. Adapting PAPI to Shibboleth PAPI Shibboleth PAPI is a system for providing access control to restricted Add to Reading List Source URL: papi.rediris.es Language: English Computer access control Identity management Computer security Federated identity Shibboleth Security Assertion Markup Language Single sign-on Identity provider SAML-based products and services SAML 2.0
4	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:11:07 Engineering Software engineering Unified Modeling Language Software testing Software Software quality Systems engineering Pharmaceutical industry Verification and validation Model-based testing Profile Simulink
5	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-01-12 04:26:34 Computing Software Java platform Cross-platform software Java Card Applet Java MIDlet Sandbox ActiveX Java applet Java virtual machine
6	Shibboleth Identity Provider (IdP) Version 3 Feature Update www.overtsoftware.com ©2016 Overt Software Solutions Ltd. All Rights Reserved Add to Reading List Source URL: www.overtsoftware.com Language: English - Date: 2016-01-14 08:16:27 Computer access control Computer security Computing Identity management Federated identity Metadata standards Shibboleth Security Assertion Markup Language SPNEGO Identity provider Kerberos SAML-based products and services
7	An Incremental Learner for Language-Based Anomaly Detection in XML Harald Lampesberger Department of Secure Information Systems University of Applied Sciences Upper Austria Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:39:24 Computing Identity management Computer access control Security Assertion Markup Language SOAP WS-Security XML schema
8	PhD Dissertation International Doctorate School in Information and Communication Technologies DIT - University of Trento Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2014-09-10 09:40:14 Semantic Web Computer security Access control Security Computing Ontology Knowledge engineering Computer access control Role-based access control Description logic Web Ontology Language Lightweight ontology
9	Reducing Complexity and Adding Value: A Strategic Approach to Impact Assessment in the Welsh Government February 2016 Add to Reading List Source URL: ppiw.org.uk Language: English - Date: 2016-05-03 03:49:01 Environmental management Impact assessment Philosophy of science Data security Public administration Environmental impact assessment Information security Evidence-based policy Welsh language Regulatory Impact Analysis
10	TCS SAML demo background https://www.digicert.com/sso David Groep TCS PMA and Nikhef TCS TNC2015 Workshop Add to Reading List Source URL: certificate.nikhef.nl Language: English - Date: 2015-06-26 06:16:58 Identity management Computer access control Metadata standards Security Assertion Markup Language Federated identity SAML-based products and services SAML 2.0