検索結果
"category:/Research/Paper"
| タイトルと要約 | 日付/時間 | |
|---|---|---|
|
61
|
Gradual Typing for Objects
Object Calculus における漸進的型付けの話。漸進的型付けは... |
2008/11/12 13:46:46 |
|
62
|
Hiding Program Slices for Software Security
プログラムを不法コピーから守るためには、... |
2008/10/28 19:25:44 |
|
63
|
Korset: Automated, Zero False-Alarm Intrusion Detection for Linux
制御フローグラフに基づいてシステムコール... |
2008/10/01 16:07:06 |
|
64
|
動的解析によるWebアプリケーション・モデル抽出支援手法
HTTPリクエスト・レスポンスに着目した... |
2008/09/15 17:29:22 |
|
65
|
Combining Type-Based Analysis and Model Checking for Finding Counterexamples Against Non-Interference
情報流解析のための型システムで型が付かな... |
2008/09/12 16:53:11 |
|
66
|
Typestate: A Programming Language Concept for Enhancing Software Reliability
変数の型だけでなく、宣言されただけなのか... |
2008/09/10 0:35:55 |
|
67
|
Securing Web Application Code by Static Analysis and Runtime Protection
PHP アプリケーションを対象に flow-sensitive な情報流解析と実行時チェックのためのコー... |
2008/09/02 20:08:06 |
|
68
|
モデル検査技術を利用したプログラム解析器の生成ツール
ある種のプログラム解析はモデル検査である... |
2008/08/06 10:29:24 |
|
69
|
Static Approximation of Dynamically Generated Web Pages
プログラム中で生成される文字列を文脈自由... |
2008/08/01 10:43:31 |
|
70
|
Cross-Language Program Analysis and Refactoring
複数の言語を使って作られるシステムのプロ... |
2008/07/25 11:45:44 |
|
71
|
On Flow-Sensitive Security Types
flow-sensitive な情報流解析のための型システムの提案。型... |
2008/06/06 0:49:53 |
|
72
|
Object-Based Data Flow Testing of Web Applications
データフローに着目して Web アプリケーションのテストケースを作ればい... |
2008/05/27 0:21:48 |
|
73
|
Inference of reference immutability
Java プログラムを対象に参照の immutability を Javari の型システムに基づいて推論するアルゴリズ... |
2008/05/16 0:28:01 |
|
74
|
Towards Type Inference for JavaScript
JavaScript のサブセットの型システムの提案。存在しな... |
2008/04/02 19:32:39 |
|
75
|
Towards a Type System for Analyzing JavaScript Programs
JavaScript の型システムの提案。クラス定義を書かない... |
2008/03/24 14:44:13 |
|
76
|
JavaScript Instrumentation for Browser Security
Web ページに埋め込まれた JavaScript プログラムがポリシーに従っているか動的に... |
2008/03/19 16:36:18 |
|
77
|
Migrating Multi-page Web Applications to Single-page Ajax Interfaces
複数ページから構成される Web アプリケーションを Ajax 化する手法の提案。ページの抽出、スキーマ... |
2008/03/18 15:38:39 |
|
78
|
Automatic Extraction and Verification of Page Transitions in a Web Application
Struts アプリケーションのページ遷移を SPIN を使って検証する話。JSP と Struts 設定ファイルからページ遷移を抽出して promela 記述に落として SPIN へ。ページ遷移のノードは JSP とアクション、遷移は html:form, forward, global-forward などで、いたって普通。 author="Atsuto Kubo and Hironori Washizaki and Yoshiaki Fukazawa", title="{Automatic ... |
2008/02/20 15:28:45 |
|
79
|
SecureC: Control-flow Protection Against General Buffer Overflow Attack
バッファオーバーフローを用いた攻撃を防ぐ... |
2007/10/22 23:00:41 |
|
80
|
Pointer Analysis for Structured Parallel Programs
並列プログラムのポインタ解析手法。論文で... |
2007/08/10 10:49:24 |