Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T

Source URL: www.cin.ufpe.br

C OD E42 T E C HN O LO GY N OT E Single Sign-On Increases IT security, decreases password fatigue and simplifies

Source URL: essentials.code42.com

• Identity management
• Federated identity
• Identity
• Single sign-on
• Security Assertion Markup Language
• Active Directory Federation Services
• SAML 2.0
• Federated identity management
• Password fatigue
• System software
• Computer security
• Identity management systems

A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li

Source URL: www.cs.utah.edu

• Mathematics
• Hoare logic
• Separation logic
• Axiomatic semantics
• Assertion
• Postcondition
• Precondition
• Judgment
• Rust
• Theoretical computer science
• Logic in computer science
• Mathematical logic

ELN-0602-v1.2 Deployment Profile for the Swedish eID Framework ELN-0602-v1.2 Version 1.2

Source URL: www.elegnamnden.se

• Security
• Federated identity
• Security Assertion Markup Language
• SAML 2.0
• Identity provider
• Service provider
• SAML 1.1
• Public key certificate
• Authentication
• Computer security
• System software
• Identity management

eMediaVA Single Sign-On The key to solving at least one of your problems New digital applications are changing the way we teach and learn, but managing them can quickly become a burden for busy administrators and IT

Source URL: education.whro.org

• Computing
• Federated identity
• Security Assertion Markup Language
• Single sign-on
• Lightweight Directory Access Protocol
• SAML 2.0
• Identity management
• System software
• Computer security

Achieving Privacy in a Federated Identity Management System Susan Landau, Hubert Le Van Gong Sun Microsystems Laboratories Robin Wilton

Source URL: www.ifca.ai

• Computer security
• System software
• Federated identity management
• Security Assertion Markup Language
• OpenID
• Identity management system
• Windows CardSpace
• Digital identity
• Identity provider
• Identity management
• Identity
• Federated identity

THOMSON REUTERS PRESENTATION TEMPLATE

Source URL: apsr.anu.edu.au

• Identifiers
• ResearcherID
• Security Assertion Markup Language
• Reuters
• Business
• Financial data vendors
• Thomson Reuters
• Finance

A Guided Tour of SAFE GENI 1 Jeff Chase and Vamsidhar Thummala Technical Report CS

Source URL: www.cs.duke.edu

• Identity management
• Key management
• Federated identity
• Public key certificate
• Security Assertion Markup Language
• Security token
• Shibboleth
• Self-signed certificate
• Authentication
• Cryptography
• Security
• Public-key cryptography

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

Source URL: www.spacios.eu

• Cloud standards
• Identity management
• Identity management systems
• Federated identity
• Security Assertion Markup Language
• OpenID
• OAuth
• SAML 2.0
• Authentication
• Computer security
• Computing
• Security

Australian Access Federation For Research and Higher Education Identifying Researchers Presented at APSR Workshop, National Library of Australia 3 June 2008

Source URL: apsr.anu.edu.au

• Identity management systems
• Computing
• Identity management
• Security Assertion Markup Language
• Shibboleth
• Copyright
• Public key certificate
• Internet privacy
• Data
• Federated identity
• Information