4 people like it.

Encrypting a Rijndael string

Counter part for http://www.fssnip.net/1n

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 
12: 
13: 
14: 
15: 
16: 
17: 
18: 
19: 
20: 
21: 
22: 
23: 
open System
open System.IO
open System.Security.Cryptography
open System.Text
open System.Diagnostics.Contracts

let EncryptStringWith (plain:string) (key:string) (iv:string) = 
    let enc = new ASCIIEncoding()
    use encrypted = new MemoryStream()
    use encode = new ToBase64Transform()
    let errdesc = "Failure when encrypting the string: " + plain + "\r\n"
    try
        use encryptor = Rijndael.Create().CreateEncryptor(enc.GetBytes(key), enc.GetBytes(iv))
        use tmpcrypt = new CryptoStream(encrypted, encryptor, CryptoStreamMode.Write)
        use encodestream = new CryptoStream(tmpcrypt, encode, CryptoStreamMode.Write)
            
        let encryptedbytes = enc.GetBytes(plain);
        encodestream.Write(encryptedbytes, 0, encryptedbytes.Length);
        encodestream.Close() // lazy, has to close explicitly before use. use is not enough.
    with
        | :? CryptographicException as ex -> failwith(errdesc + ex.ToString())
        | :? FormatException as ex -> failwith(errdesc + ex.ToString())
    encrypted.ToArray() |> Convert.ToBase64String
namespace System
namespace System.IO
namespace System.Security
namespace System.Security.Cryptography
namespace System.Text
namespace System.Diagnostics
namespace System.Diagnostics.Contracts
val EncryptStringWith : plain:string -> key:string -> iv:string -> string

Full name: Script.EncryptStringWith
val plain : string
Multiple items
val string : value:'T -> string

Full name: Microsoft.FSharp.Core.Operators.string

--------------------
type string = String

Full name: Microsoft.FSharp.Core.string
val key : string
val iv : string
val enc : ASCIIEncoding
Multiple items
type ASCIIEncoding =
  inherit Encoding
  new : unit -> ASCIIEncoding
  member GetByteCount : chars:string -> int + 2 overloads
  member GetBytes : chars:char * charCount:int * bytes:byte * byteCount:int -> int + 2 overloads
  member GetCharCount : bytes:byte * count:int -> int + 1 overload
  member GetChars : bytes:byte * byteCount:int * chars:char * charCount:int -> int + 1 overload
  member GetDecoder : unit -> Decoder
  member GetEncoder : unit -> Encoder
  member GetMaxByteCount : charCount:int -> int
  member GetMaxCharCount : byteCount:int -> int
  member GetString : bytes:byte[] * byteIndex:int * byteCount:int -> string
  ...

Full name: System.Text.ASCIIEncoding

--------------------
ASCIIEncoding() : unit
val encrypted : MemoryStream
Multiple items
type MemoryStream =
  inherit Stream
  new : unit -> MemoryStream + 6 overloads
  member CanRead : bool
  member CanSeek : bool
  member CanWrite : bool
  member Capacity : int with get, set
  member Flush : unit -> unit
  member GetBuffer : unit -> byte[]
  member Length : int64
  member Position : int64 with get, set
  member Read : buffer:byte[] * offset:int * count:int -> int
  ...

Full name: System.IO.MemoryStream

--------------------
MemoryStream() : unit
MemoryStream(capacity: int) : unit
MemoryStream(buffer: byte []) : unit
MemoryStream(buffer: byte [], writable: bool) : unit
MemoryStream(buffer: byte [], index: int, count: int) : unit
MemoryStream(buffer: byte [], index: int, count: int, writable: bool) : unit
MemoryStream(buffer: byte [], index: int, count: int, writable: bool, publiclyVisible: bool) : unit
val encode : ToBase64Transform
Multiple items
type ToBase64Transform =
  new : unit -> ToBase64Transform
  member CanReuseTransform : bool
  member CanTransformMultipleBlocks : bool
  member Clear : unit -> unit
  member Dispose : unit -> unit
  member InputBlockSize : int
  member OutputBlockSize : int
  member TransformBlock : inputBuffer:byte[] * inputOffset:int * inputCount:int * outputBuffer:byte[] * outputOffset:int -> int
  member TransformFinalBlock : inputBuffer:byte[] * inputOffset:int * inputCount:int -> byte[]

Full name: System.Security.Cryptography.ToBase64Transform

--------------------
ToBase64Transform() : unit
val errdesc : string
val encryptor : ICryptoTransform
type Rijndael =
  inherit SymmetricAlgorithm
  static member Create : unit -> Rijndael + 1 overload

Full name: System.Security.Cryptography.Rijndael
Rijndael.Create() : Rijndael
Rijndael.Create(algName: string) : Rijndael
Encoding.GetBytes(s: string) : byte []
Encoding.GetBytes(chars: char []) : byte []
Encoding.GetBytes(chars: char [], index: int, count: int) : byte []
ASCIIEncoding.GetBytes(chars: nativeptr<char>, charCount: int, bytes: nativeptr<byte>, byteCount: int) : int
ASCIIEncoding.GetBytes(chars: char [], charIndex: int, charCount: int, bytes: byte [], byteIndex: int) : int
ASCIIEncoding.GetBytes(chars: string, charIndex: int, charCount: int, bytes: byte [], byteIndex: int) : int
val tmpcrypt : CryptoStream
Multiple items
type CryptoStream =
  inherit Stream
  new : stream:Stream * transform:ICryptoTransform * mode:CryptoStreamMode -> CryptoStream
  member CanRead : bool
  member CanSeek : bool
  member CanWrite : bool
  member Clear : unit -> unit
  member Flush : unit -> unit
  member FlushFinalBlock : unit -> unit
  member HasFlushedFinalBlock : bool
  member Length : int64
  member Position : int64 with get, set
  ...

Full name: System.Security.Cryptography.CryptoStream

--------------------
CryptoStream(stream: Stream, transform: ICryptoTransform, mode: CryptoStreamMode) : unit
type CryptoStreamMode =
  | Read = 0
  | Write = 1

Full name: System.Security.Cryptography.CryptoStreamMode
field CryptoStreamMode.Write = 1
val encodestream : CryptoStream
val encryptedbytes : byte []
CryptoStream.Write(buffer: byte [], offset: int, count: int) : unit
property Array.Length: int
Stream.Close() : unit
Multiple items
type CryptographicException =
  inherit SystemException
  new : unit -> CryptographicException + 4 overloads

Full name: System.Security.Cryptography.CryptographicException

--------------------
CryptographicException() : unit
CryptographicException(message: string) : unit
CryptographicException(hr: int) : unit
CryptographicException(format: string, insert: string) : unit
CryptographicException(message: string, inner: exn) : unit
val ex : CryptographicException
val failwith : message:string -> 'T

Full name: Microsoft.FSharp.Core.Operators.failwith
Exception.ToString() : string
Multiple items
type FormatException =
  inherit SystemException
  new : unit -> FormatException + 2 overloads

Full name: System.FormatException

--------------------
FormatException() : unit
FormatException(message: string) : unit
FormatException(message: string, innerException: exn) : unit
val ex : FormatException
MemoryStream.ToArray() : byte []
type Convert =
  static val DBNull : obj
  static member ChangeType : value:obj * typeCode:TypeCode -> obj + 3 overloads
  static member FromBase64CharArray : inArray:char[] * offset:int * length:int -> byte[]
  static member FromBase64String : s:string -> byte[]
  static member GetTypeCode : value:obj -> TypeCode
  static member IsDBNull : value:obj -> bool
  static member ToBase64CharArray : inArray:byte[] * offsetIn:int * length:int * outArray:char[] * offsetOut:int -> int + 1 overload
  static member ToBase64String : inArray:byte[] -> string + 3 overloads
  static member ToBoolean : value:obj -> bool + 17 overloads
  static member ToByte : value:obj -> byte + 18 overloads
  ...

Full name: System.Convert
Convert.ToBase64String(inArray: byte []) : string
Convert.ToBase64String(inArray: byte [], options: Base64FormattingOptions) : string
Convert.ToBase64String(inArray: byte [], offset: int, length: int) : string
Convert.ToBase64String(inArray: byte [], offset: int, length: int, options: Base64FormattingOptions) : string
Raw view Test code New version

More information

Link:http://fssnip.net/7PN
Posted:7 years ago
Author:Tuomas Hietanen
Tags: crypto , cryptography , encyption , rijndael