Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SASL

Known as: SASL programming language 
SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax… Expand
Is this relevant?
2013
2013
In order to take best advantage of modern multi-core systems, interactive theorem provers need to parallelize execution… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2010
2010
The secure authentication mechanism most widely deployed and used by Internet application protocols is the transmission of clear… Expand
Is this relevant?
2007
2007
This specification defines how HTTP Digest Authentication (RFC 2617) can be used as a Simple Authentication and Security Layer… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The Simple Authentication and Security Layer (SASL) is a framework for providing authentication and data security services in… Expand
Is this relevant?
2000
2000
This specification defines how HTTP Digest Authentication [Digest] can be used as a SASL [RFC 2222] mechanism for any protocol… Expand
Is this relevant?
2000
2000
SecurID is a hardware token card product (or software emulation thereof) produced by RSA Security Inc., which is used for end… Expand
Is this relevant?
1997
1997
This document describes a method for adding authentication support to connection-based protocols. To use this specification, a… Expand
Is this relevant?
1988
1988
The execution has been studied of four small and four medium-sized SASL programs, when interpreted by a variant of Turner's… Expand
  • table I
  • table 11
  • table 111
  • figure 2
  • table I
Is this relevant?
Highly Cited
1976
Highly Cited
1976
This disclosure relates to a method of making a V-MOS field effect transistor which does not require the extra steps of epitaxial… Expand
Is this relevant?