Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Conclusions and Future work A Structural Operational Semantics for JavaScript Ankur Taly Dept. of Computer Science, Stanford University Joint work with Sergio Maffeis and John C. Mitchell Ankur Taly A Structural Operational Semantics for JavaScript Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Concl
WebOS Goodies へようこそ! WebOS はインターネットの未来形。あらゆる Web サイトが繋がり、共有し、協力して創り上げる、ひとつの巨大な情報システムです。そこでは、あらゆる情報がネットワーク上に蓄積され、我々はいつでも、どこからでも、多彩なデバイスを使ってそれらにアクセスできます。 WebOS Goodies は、さまざまな情報提供やツール開発を通して、そんな世界の実現に少しでも貢献するべく活動していきます。 微妙に先をこされてますが・・・。 Google Buzz をチェックするためにわざわざ Gmail を開くのもおっくうになってきたので、デスクトップに置いておけるように Opera ウィジェットを作ってみました。と言っても、単に iPhone 用の Google Buzz のページを表示しているだけです。それでも Buzz の投稿やコメントなど主要な操作がウィジェ
先日参加したWaveプロトコル勉強会でオレオレWaveサーバーを立ち上げ、sandboxと接続するところまでできました。その方法を紹介します。 いきなり結論 ここに掲載している手順は、ほぼ次のURLにかかれている手順の抄訳です。 http://www.24100.net/2009/11/federate-google-wave-sandbox-with-your-own-fedone-server/ オレオレWaveサーバは準備できますが、Google WaveのようなWebインタフェースが使えるわけではありません。別途Waveクライアントを用意する必要があります。 wave-protocolにテキストベースのテスト用Waveクライアントがついてきますのでそれで動作確認ができます。 google wave clientで検索するといくつかWaveクライアントが出てきますが、動作未確認です。
I’m not sold on Google Buzz. It’s very noisy. Heck, if you’re following me there, you’re probably wondering what it’s about. It reminds me of Friendfeed, with the conversations looping under every piece of information. It’s also a lot like Facebook, in that sort of “wall post, comment” dance kind of way. I’ll probably come to tell you why I love it in some future post, or maybe I won’t. I never li
Recently I was having a little bit of fun and decided to go about writing a pure JavaScript HTML parser. Some might remember my one project, env.js, which ported the native browser JavaScript features to the server-side (powered by Rhino). One thing that was lacking from that project was an HTML parser (it parsed strict XML only). I’ve been toying with the ability to port env.js to other platforms
IPA(独立行政法人情報処理推進機構、理事長:西垣 浩司)は、ウェブサイトの脆弱性の修正作業が長期化している事例が少なくないことから、ウェブサイト運営者がWeb Application Firewall(ウェブ・アプリケーション・ファイアウォール、WAF)を導入する際の参考となる解説資料「Web Application Firewall 読本」を2010年2月16日(火)からIPAのウェブサイトで公開しました。 URL: http://www.ipa.go.jp/security/vuln/waf.html Web Application Firewall(WAF)は、ウェブアプリケーション(*1)の脆弱性(*2)を悪用した攻撃などからウェブアプリケーションを保護するソフトウェア、またはハードウェアです。WAFは脆弱性を修正するといったウェブアプリケーションの実装面での根本的な対策ではなく
Dare Obasanjo's weblog "You can buy cars but you can't buy respect in the hood" - Curtis Jackson Navigation for Understanding the Real-Time Web for Web Developers - Dare Obasanjo's weblog Content Sidebar Footer The term “The real-time web” has become popular as a way to describe burgeoning trends and technologies related to consuming web content as soon as it is created. However like popular buzz
iモードIDを用いた「かんたんログイン」のDNS Rebinding脆弱性 HASHコンサルティング株式会社 公開日:2009年11月24日 追記日:2010年1月21日 概要 iモードブラウザ2.0のJavaScriptとDNS Rebinding問題の組み合わせにより、iモードIDを利用した認証機能(以下かんたんログイン)に対する不正アクセスが可能となる場合があることを確認したので報告する。危険度の高い攻撃手法であるので、サイト運営者には至急の対策を推奨する。 背景携帯電話のかんたんログインとは、ケータイブラウザ(たとえばiモードブラウザ)に用意された契約者固有IDを利用した簡易的な認証であり、ユーザがIDやパスワードを入力しなくても認証が可能となる。iモードIDは、NTTドコモの提供する契約者固有IDの一種で、URLにguid=ONというクエリストリングを含めることにより、端末固
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く