問題タブ [klist]

私はこのパターンを取りたい：

KListただし、すべてのアリティを手動でオーバーライドするのではなく、を受け入れるようにします。RList基本的には、「同じSメンバータイプのsをいくつでも取得する」と言いたいです。

RListタイプを含む特性Sです。（RListの背景と、これを行う理由については、「起点に基づく関数の制約（パス依存型？型生成？）」を参照してください） 。

私は HList / KList を発見しました。それらはかなりクールです。私は実際のユース ケースを持っています。このユース ケースでは、保存された型情報を持つ異種の型と可変長のコンテナーが非常に役立ちます (詳細については、以下の背景を参照してください)。ただし、H/KList をメソッド パラメーターとして使用する方法を理解していません。この場合、パラメーターに完全に型注釈を付けたり、型情報を緩めたりする必要があります。もちろん、完全な型が不明な場合、H/KLists をパラメーターとして使用することはできますか? 型情報を失うことなく H/KList を参照する方法は?

「型リスト」を使用して、異種の可変長型パラメーターのタプルを参照できますか? ここでは、次のように述べ ... the types of the elements can be tracked separate from the actual element values. To do this we create an purely abstract type (it has no instances) which models a list of types, let's call it TList. ています。いじってみましたが、パラメーターとして HList の型注釈に使用する方法をまだ理解していません。

基本的に、私はこのようなものが欲しいです:

ここで、TL は型リストを指し、X は現在の要素の型を指します。したがって、ここで HList は、型リスト TL によってパラメータ化された別のタプルのようなコンテナーである TypedLink にマップする必要があります。要素は、現在の型 X で型指定された、さらに別のパラメーター化されたコンテナー TypedHandle にそれぞれラップされます。

これは可能ですか？

Shapeless の HList とその "unify" メソッドを見ましたが、問題は同じままです。可変長以外に、パラメーター リストでそれを参照する方法がわかりません。

2 番目の希望は、KList を使用することでした。TypedHandle は同じコンストラクターを持つ共通のコンテナーであるため、私の場合に適用されます。apocalisp によると、 KListを使用すると、注釈を入力するのが簡単に見えます。

タイプは次のとおりです。

ただし、問題は同じままです。メソッド定義では、それが

または

そのため、KList をメソッド パラメータとして型注釈する方法もわかりません。

ヒントをありがとう！

背景: 私は優れた OO およびグラフ データベース hypergraphdb の便利な scala 拡張機能を作成しています。Hypergraphdb のハイパーエッジである HGLink は、基本的に HGHandle のタプルです。HGHandle は、それ自体が型付けされたアトムを参照します。したがって、HGLink 自体は異種の型であり、可変長です。ただし、HGLink の実装はこれまで型指定されておらず、型指定されていない HGHandle の実装によって構築されていました。Java の型システムは、hypergraphdb の (はるかに優れた) 型システム (たとえば、より高い種類の型もある) を反映するほど表現力がないと思います。

基本的に、私は scala の型システムと hypergraphdb の型システムを橋渡ししようとしています。多くのことを学んでいますが、今までは本当に楽しかったです。TypedHandle は、他の多くのハックに加えて、すでにうまく機能しています。

アドバイスをありがとう。

Windows クライアントでは、Web サービスのサービス チケットがあり (klist でチケットを確認できます)、エンコードされたサービス チケットを取得して (HTTPS 経由で) サービスに渡すアプリを作成しようとしています。サービスキーで復号化できること。

Windows SDK ( \Microsoft SDKs\Windows\v7.0\Samples\security\authorization\klist )で提供されている klist の例を使用することで、サービス チケットへのハンドルを取得し、" EncodedTicket」は、「 Abstract Syntax Notation One (ASN.1) でエンコードされたチケットを含むバッファ」であると主張しています。

この「EncodedTicket」は Web サービスに渡したいチケットですか? サービスキーで暗号化されますか? このバッファを Web サービスに渡すことができる base64 文字列に変換するにはどうすればよいですか?

ドメインで HTTP サービスを実行しています。しかし、HTTP サービスの存続期間がどのように決定されるかについては、ほとんど疑問がありません。クライアントが HTTP サービスを使用できる期間はどれくらいですか?

Windows (ホスト) マシンに接続するために Linux で Ansible セットアップを行っています。KERBEROS メソッドを使用して正常に接続しました。

次のコマンドを使用してユーザーを追加しました。

klistを使用して詳細を確認できます。詳細チケットが表示されました。

しかし、別のユーザー、つまり user_2 を追加したいのですが、を実行しようとするとkinit -C user_2@EXAMPLE.COM、既存の klist が上書きされ、両方のチケット (user_1 と user_2) が表示されます。

私のオブジェクトは ansible を使用しています 別のユーザー ( user_1 、 user_2 ) で Playbook を実行したい

認証に使用できる IWA の種類が明確でないクライアント ソフトウェアと Web アプリケーションをいくつか使用しています。マニュアル/ガイドを読みましたが、役に立ちませんでした。それらには「IWA を有効にする」というラベルの付いたチェックボックス機能が含まれており、IWA はマシン/ドメインに認証されたときに宣伝どおりに機能するようです。

私が知っていることと行った調査に基づいて、IWA には NTLM と Kerberos の 2 種類があります。Negotiate で NTLM/Kerberos のいずれかまたは両方を使用できるようにするための IIS 設定に精通しています。また、klist を使用して、ドメイン認証システムで kerberos チケットが要求/利用されているかどうかを判断することにも精通しています。

私が混乱するのは、アプリケーションが IIS ベースではない (つまり、ネゴシエート設定を確認できない) シナリオが提示され、klist 出力に kerberos チケットが表示されず、IWA がまだ機能している場合です。この状況は常に IWA NTLM と見なされますか? 私が認識していない他の形態の IWA はありますか? Web アプリケーションが現在認証されているユーザーを JavaScript から取得できることは知っていますが、これはかなり安全でない方法であり、JavaScript を調べたところ、ここでは当てはまらないようです。

質問の要約:

• ここで言及していない他の形式の IWA はありますか?
• 非 IIS/klist 検証可能 IWA が使用されている場合、IWA タイプを確認するにはどうすればよいですか?
• パケット キャプチャを実行する必要なく、NTLM が使用されているかどうかを確認する最も簡単な方法は何ですか?

「klist.exe」を実行して出力を解析することで必要なものを取得できることは理解していますが、Windows サーバーにキャッシュされた Kerberos チケットに関する情報を取得するための Windows/C#/Powershell API があるかどうか疑問に思っています。